BTC Language
* Clean the way hash fucntions are represented * Add a util function to interpret the results
Showing
- symbolic_execution/hardware/machines/btc_machine.py 36 additions, 9 deletionssymbolic_execution/hardware/machines/btc_machine.py
- symbolic_execution/language/bitcoin/op_codes.py 3 additions, 5 deletionssymbolic_execution/language/bitcoin/op_codes.py
- symbolic_execution/language/bitcoin/symbolic_interpreter.py 78 additions, 0 deletionssymbolic_execution/language/bitcoin/symbolic_interpreter.py
- symbolic_execution/program/executer/interfaces.py 1 addition, 1 deletionsymbolic_execution/program/executer/interfaces.py
- symbolic_execution/program/executer/symbolic.py 10 additions, 3 deletionssymbolic_execution/program/executer/symbolic.py
- symbolic_execution/program/instruction/stack_based.py 1 addition, 1 deletionsymbolic_execution/program/instruction/stack_based.py
Loading
Please register or sign in to comment