├── .gitignore ├── .travis.yml ├── Dockerfile ├── LICENSE.md ├── README.md ├── bin └── sibyl ├── doc ├── ADD_ABI.md ├── ADD_TEST.md ├── ADVANCED_USE.md ├── CHANGELOG.md ├── CONFIG.md ├── LEARNING.md ├── TESTING.md └── img │ ├── ghidra_screen.png │ ├── ghidra_screen2.png │ └── ida_screen.png ├── ext ├── ghidra │ ├── ExportFunction.java │ └── find.py ├── ida │ └── find.py ├── pin_tracer │ ├── Makefile │ └── pin_tracer.cpp └── radare2 │ └── r2_find.py ├── setup.py ├── sibyl ├── __init__.py ├── abi │ ├── __init__.py │ ├── abi.py │ ├── arm.py │ ├── mep.py │ ├── mips.py │ └── x86.py ├── actions │ ├── __init__.py │ ├── action.py │ ├── config.py │ ├── find.py │ ├── func.py │ └── learn.py ├── commons.py ├── config.py ├── engine │ ├── __init__.py │ ├── engine.py │ ├── miasm.py │ └── qemu.py ├── heuristics │ ├── __init__.py │ ├── arch.py │ ├── csts.py │ ├── func.py │ └── heuristic.py ├── learn │ ├── __init__.py │ ├── findref.py │ ├── generator │ │ ├── __init__.py │ │ ├── generator.py │ │ ├── pythongenerator.py │ │ └── templates.py │ ├── learn.py │ ├── learnexception.py │ ├── replay.py │ ├── trace.py │ └── tracer │ │ ├── __init__.py │ │ ├── miasm.py │ │ ├── pin.py │ │ └── tracer.py ├── test │ ├── __init__.py │ ├── ctype.py │ ├── stdlib.py │ ├── string.py │ └── test.py └── testlauncher.py └── test ├── find ├── Makefile ├── __init__.py ├── run_ctests.py ├── test_ctype.c ├── test_stdlib.c ├── test_string.c └── test_stub.c ├── learn ├── Makefile ├── __init__.py ├── add.c ├── add.h ├── copy_struct.c ├── copy_struct.h ├── deref_struct.c ├── deref_struct.h ├── doublePtr.c ├── doublePtr.h ├── my_strcpy.c ├── my_strcpy.h ├── my_strlen.c ├── my_strlen.h ├── numerous_arguments.c ├── numerous_arguments.h ├── run_tests.py ├── several_traces.c └── several_traces.h ├── run_all_tests.py └── utils ├── __init__.py └── log.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/README.md -------------------------------------------------------------------------------- /bin/sibyl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/bin/sibyl -------------------------------------------------------------------------------- /doc/ADD_ABI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/ADD_ABI.md -------------------------------------------------------------------------------- /doc/ADD_TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/ADD_TEST.md -------------------------------------------------------------------------------- /doc/ADVANCED_USE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/ADVANCED_USE.md -------------------------------------------------------------------------------- /doc/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/CHANGELOG.md -------------------------------------------------------------------------------- /doc/CONFIG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/CONFIG.md -------------------------------------------------------------------------------- /doc/LEARNING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/LEARNING.md -------------------------------------------------------------------------------- /doc/TESTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/TESTING.md -------------------------------------------------------------------------------- /doc/img/ghidra_screen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/img/ghidra_screen.png -------------------------------------------------------------------------------- /doc/img/ghidra_screen2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/img/ghidra_screen2.png -------------------------------------------------------------------------------- /doc/img/ida_screen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/doc/img/ida_screen.png -------------------------------------------------------------------------------- /ext/ghidra/ExportFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/ext/ghidra/ExportFunction.java -------------------------------------------------------------------------------- /ext/ghidra/find.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/ext/ghidra/find.py -------------------------------------------------------------------------------- /ext/ida/find.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/ext/ida/find.py -------------------------------------------------------------------------------- /ext/pin_tracer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/ext/pin_tracer/Makefile -------------------------------------------------------------------------------- /ext/pin_tracer/pin_tracer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/ext/pin_tracer/pin_tracer.cpp -------------------------------------------------------------------------------- /ext/radare2/r2_find.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/ext/radare2/r2_find.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/setup.py -------------------------------------------------------------------------------- /sibyl/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/__init__.py -------------------------------------------------------------------------------- /sibyl/abi/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/abi/__init__.py -------------------------------------------------------------------------------- /sibyl/abi/abi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/abi/abi.py -------------------------------------------------------------------------------- /sibyl/abi/arm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/abi/arm.py -------------------------------------------------------------------------------- /sibyl/abi/mep.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/abi/mep.py -------------------------------------------------------------------------------- /sibyl/abi/mips.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/abi/mips.py -------------------------------------------------------------------------------- /sibyl/abi/x86.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/abi/x86.py -------------------------------------------------------------------------------- /sibyl/actions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/actions/__init__.py -------------------------------------------------------------------------------- /sibyl/actions/action.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/actions/action.py -------------------------------------------------------------------------------- /sibyl/actions/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/actions/config.py -------------------------------------------------------------------------------- /sibyl/actions/find.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/actions/find.py -------------------------------------------------------------------------------- /sibyl/actions/func.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/actions/func.py -------------------------------------------------------------------------------- /sibyl/actions/learn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/actions/learn.py -------------------------------------------------------------------------------- /sibyl/commons.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/commons.py -------------------------------------------------------------------------------- /sibyl/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/config.py -------------------------------------------------------------------------------- /sibyl/engine/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/engine/__init__.py -------------------------------------------------------------------------------- /sibyl/engine/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/engine/engine.py -------------------------------------------------------------------------------- /sibyl/engine/miasm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/engine/miasm.py -------------------------------------------------------------------------------- /sibyl/engine/qemu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/engine/qemu.py -------------------------------------------------------------------------------- /sibyl/heuristics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/heuristics/__init__.py -------------------------------------------------------------------------------- /sibyl/heuristics/arch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/heuristics/arch.py -------------------------------------------------------------------------------- /sibyl/heuristics/csts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/heuristics/csts.py -------------------------------------------------------------------------------- /sibyl/heuristics/func.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/heuristics/func.py -------------------------------------------------------------------------------- /sibyl/heuristics/heuristic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/heuristics/heuristic.py -------------------------------------------------------------------------------- /sibyl/learn/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/__init__.py -------------------------------------------------------------------------------- /sibyl/learn/findref.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/findref.py -------------------------------------------------------------------------------- /sibyl/learn/generator/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/generator/__init__.py -------------------------------------------------------------------------------- /sibyl/learn/generator/generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/generator/generator.py -------------------------------------------------------------------------------- /sibyl/learn/generator/pythongenerator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/generator/pythongenerator.py -------------------------------------------------------------------------------- /sibyl/learn/generator/templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/generator/templates.py -------------------------------------------------------------------------------- /sibyl/learn/learn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/learn.py -------------------------------------------------------------------------------- /sibyl/learn/learnexception.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/learnexception.py -------------------------------------------------------------------------------- /sibyl/learn/replay.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/replay.py -------------------------------------------------------------------------------- /sibyl/learn/trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/trace.py -------------------------------------------------------------------------------- /sibyl/learn/tracer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/tracer/__init__.py -------------------------------------------------------------------------------- /sibyl/learn/tracer/miasm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/tracer/miasm.py -------------------------------------------------------------------------------- /sibyl/learn/tracer/pin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/tracer/pin.py -------------------------------------------------------------------------------- /sibyl/learn/tracer/tracer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/learn/tracer/tracer.py -------------------------------------------------------------------------------- /sibyl/test/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/test/__init__.py -------------------------------------------------------------------------------- /sibyl/test/ctype.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/test/ctype.py -------------------------------------------------------------------------------- /sibyl/test/stdlib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/test/stdlib.py -------------------------------------------------------------------------------- /sibyl/test/string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/test/string.py -------------------------------------------------------------------------------- /sibyl/test/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/test/test.py -------------------------------------------------------------------------------- /sibyl/testlauncher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/sibyl/testlauncher.py -------------------------------------------------------------------------------- /test/find/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/Makefile -------------------------------------------------------------------------------- /test/find/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/__init__.py -------------------------------------------------------------------------------- /test/find/run_ctests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/run_ctests.py -------------------------------------------------------------------------------- /test/find/test_ctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/test_ctype.c -------------------------------------------------------------------------------- /test/find/test_stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/test_stdlib.c -------------------------------------------------------------------------------- /test/find/test_string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/test_string.c -------------------------------------------------------------------------------- /test/find/test_stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/find/test_stub.c -------------------------------------------------------------------------------- /test/learn/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/Makefile -------------------------------------------------------------------------------- /test/learn/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/__init__.py -------------------------------------------------------------------------------- /test/learn/add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/add.c -------------------------------------------------------------------------------- /test/learn/add.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/add.h -------------------------------------------------------------------------------- /test/learn/copy_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/copy_struct.c -------------------------------------------------------------------------------- /test/learn/copy_struct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/copy_struct.h -------------------------------------------------------------------------------- /test/learn/deref_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/deref_struct.c -------------------------------------------------------------------------------- /test/learn/deref_struct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/deref_struct.h -------------------------------------------------------------------------------- /test/learn/doublePtr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/doublePtr.c -------------------------------------------------------------------------------- /test/learn/doublePtr.h: -------------------------------------------------------------------------------- 1 | int doublePtr(int** x, int nbElem); 2 | -------------------------------------------------------------------------------- /test/learn/my_strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/my_strcpy.c -------------------------------------------------------------------------------- /test/learn/my_strcpy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/my_strcpy.h -------------------------------------------------------------------------------- /test/learn/my_strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/my_strlen.c -------------------------------------------------------------------------------- /test/learn/my_strlen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/my_strlen.h -------------------------------------------------------------------------------- /test/learn/numerous_arguments.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/numerous_arguments.c -------------------------------------------------------------------------------- /test/learn/numerous_arguments.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/numerous_arguments.h -------------------------------------------------------------------------------- /test/learn/run_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/run_tests.py -------------------------------------------------------------------------------- /test/learn/several_traces.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/several_traces.c -------------------------------------------------------------------------------- /test/learn/several_traces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/learn/several_traces.h -------------------------------------------------------------------------------- /test/run_all_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/run_all_tests.py -------------------------------------------------------------------------------- /test/utils/__init__.py: -------------------------------------------------------------------------------- 1 | __all__ = [] 2 | -------------------------------------------------------------------------------- /test/utils/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cea-sec/Sibyl/HEAD/test/utils/log.py --------------------------------------------------------------------------------