9 Commits
Author SHA1 Message Date
Eric Kilmer 522f8ba31e Add methods for getting list of (un)implemented system calls (#2491)
This is primarily a helper function that is useful in evaluating the
capabilities of Manticore on Linux

* Add Linux Kernel version constant to syscalls list

* Add method for getting unimplemented syscalls

This is specific per architecture
2021-09-15 09:13:48 -04:00
Eric Hennenfent 451965f03a Blacken Manticore (#1438)
* Add black to CI tests

I'd rather have blackening be an optional check, but this will work for now

* Yep, messed up Travis

Again, sorry about the commit spam

* Bump accepted line length to 120

Going to auto-format at 100 but will allow 20% overruns

* Blacken

* Cap line length at 100

rip my undisciplined coding habits

* update black on the fly if necessary

* Ignore CC errors

* Only check modified files

* Only python files

* Re-blacken post merge

* Re-Blacken

* Fix deleted files

* Explicitly invoke python

The +x must not have gotten commited

* Forgot to blacken again

Hoisted on my own petard

* Re-blacken
2019-05-23 15:19:24 -05:00
Nikita Karetnikov 04a1cd3a31 aarch64: add everything except instructions (#1418)
* aarch64: add everything except instructions

Based on disconnect3d/aarch64/skeleton.

* fixup: do not use relative imports

Otherwise, 'scripts/travis_test.sh' fails to work.

* fixup: remove x86-specific code from '_reg_name'

* review: rename the file

* review: avoid wildcard imports

* Revert "fixup: remove x86-specific code from '_reg_name'"

* fixup: support ARM64 in '_reg_name'
2019-04-30 14:57:41 -05:00
Logan Campos 220b9499bf PEP-257: Change docstrings using single quotes to double quotes (#1401)
* PEP-257: change docustrings using single quotes to double quotes

Signed-off-by: binaryflesh <[email protected]>

* fix pseudocode in docstring

Signed-off-by: binaryflesh <[email protected]>
2019-04-17 11:53:01 +02:00
Disconnect3d 169904561a Make Manticore installable for separate targets (#1257)
* WIP

* WIP

* WIP

* Optimize imports

* WIP

* WIP

* WIP

* Fix setup.py comment

* Move abitypes to ethereum

* WIP: sth works lol

* Set verbosity from args

* WIP

* Fix evm logging + minor refactor

* Move ply dependency to evm setup

* NOTE: Removed Manticore.evm

* Check deps on setup, other improvements

* Proper ethereum/__init__ external imports

* Fix logging

* Fix imports in tests

* Fix scripts imports

* Fix imports in example scripts

* Fix tests?

* Remove debug print

* Fix circular import

* Fix imports in tests

* Fix verbosity test

* Fix typo

* Fix typo in test

* Fix measure cov

* Small review fixes

* Reviewfix: move STDIN_INPUT~ to consts.stdin_size

* Reviewfix: dont alias evm/native main funcs

* Fix missing consts.stdin_size

* Remove redundant list() call

* Fix types in docstrings

* Use relative imports

* Fix types in docstring

* Move invoke_model back to native State

* Split only to manticore, manticore[native]

* Fix dev and dev-noks setup extras

* Review fixes

* Move core/cpu -> native/cpu

* Update Changelog

* Import fixes

* Fix test imports

* Fix cpu automatic tests imports

* Fix imports in tests

* Fix imports & deprecated warning

* Fix imports

* Fix imports

* Fix imports

* Fix travis measure_cov path

* Add comment about native deps

* Use ManticoreBase.verbosity as static method

* Fix docs build

* Fix loger test

* Move imports: from manticore import issymbolic, istainted

* Docs fixes

* Fix issymbolic import in test
2018-12-03 21:20:55 +01:00
Disconnect3d 5c44a34374 Convert format strings to literal string interpolation [rebased] (#1194)
* Convert format strings to literal string interpolation
This commit converts most (only a couple of exceptions) of the formatted strings in Manticore to follow PEP-0498, literal string interpolation.

* Converted most format strings to f-strings, except for some in tests

* Fixing codeclimate issues

* Updated the new format strings that appeared after merging, fixed a flipped set of parameters

* Fixed another incorrect quote typo

* fixed extra quote typo
2018-10-18 11:03:19 +02:00
defunct a0c2f76311 Port remaining examples to py3 (#1042)
* port use_def

* port some scripts, cleanup

* ported `scripts/gdb.py` - untested

* misc
2018-08-10 15:28:41 -04:00
Yan 2202b0a27d Generate NRs for ARM-specific syscalls (#254) 2017-05-15 15:11:54 -04:00
Yan a0717aa661 Syscall table rework (#245)
* Script for generating syscall tables from Linux src (pulled from kernel.org)

* Add generated syscall table

* Update syscall names to match extracted entries

* Move to new syscall dispatcher

* Add machine def to x86 cpus
2017-05-11 12:20:00 -04:00