manticore

Files

feliam bbfb234cca Dev fix amd64 emulation bugs (#136 )

* Failing tests

* Tha Fix

* Fix auto test

* PSLLDQ for 32b python?

* More descriptive temporary variable

2017-04-13 19:22:04 -03:00

flags.py

Rename test -> tests (#66 )

2017-03-13 14:06:36 -05:00

make_dump.py

Dev fix load interpreter (#96 )

2017-03-28 15:45:08 -03:00

make_tests.py

Dev fix amd64 emulation bugs (#136 )

2017-04-13 19:22:04 -03:00

README

Rename test -> tests (#66 )

2017-03-13 14:06:36 -05:00

trace.py

Rename test -> tests (#66 )

2017-03-13 14:06:36 -05:00

README

Auto unittest generation
------------------------

1) You need a linux program that exercises a bunch of interestings intructions. 
Lets choose:
    SymbolicExecutor/examples/linux/nostdlib

2) Run the tracer on it. It is a gdb wrapper that will execute the program step by step 
printing pre/pos information on each instruction:
    python SymbolicExecutor/tests/auto/make_dump.py SymbolicExecutor/examples/linux/nostdlib > mytest.dump
(Several dump can be concatenated togheter)

3) Generate the alcual python unittest based on the dump. 
    python SymbolicExecutor/tests/auto/make_tests.py mytest.dump > SymbolicExecutor/tests/test_$TESTNAME.py
   This will get up to 1000 testcases for the same mnemonic in the dump. 

4) Run the test like this (SymbolicExecutor/)
    python -m unittest -c tests.test_$TESTNAME