BTC Parser
* Optimizations: * Enable packrat * Use MatchFirst instead of Or * Increase recursions limit
Showing
- symbolic_execution/hardware/interfaces.py 5 additions, 0 deletionssymbolic_execution/hardware/interfaces.py
- symbolic_execution/hardware/machines/btc_machine.py 29 additions, 1 deletionsymbolic_execution/hardware/machines/btc_machine.py
- symbolic_execution/language/bitcoin/op_codes.py 4 additions, 6 deletionssymbolic_execution/language/bitcoin/op_codes.py
- symbolic_execution/language/bitcoin/parser.py 9 additions, 6 deletionssymbolic_execution/language/bitcoin/parser.py
- symbolic_execution/program/instruction/stack_based.py 30 additions, 1 deletionsymbolic_execution/program/instruction/stack_based.py
- tests/language/bitcoin/symbolic/testing_scenarii.py 28 additions, 25 deletionstests/language/bitcoin/symbolic/testing_scenarii.py
- tests/language/bitcoin/test_parser.py 2 additions, 2 deletionstests/language/bitcoin/test_parser.py
Loading
Please register or sign in to comment