diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-11-28 15:47:47 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-11-28 15:47:47 +0100 |
| commit | ffcae80c2167f271a7d733d424fbd72db8c98a93 (patch) | |
| tree | b4d72a5b7522ffe7e10f5cf625be93347cab419f /symbolic.py | |
| parent | 836e42215fda0cbd330caef2dc5fc93336d4722c (diff) | |
| download | focaccia-ffcae80c2167f271a7d733d424fbd72db8c98a93.tar.gz focaccia-ffcae80c2167f271a7d733d424fbd72db8c98a93.zip | |
Record symbolic transform for single instructions
Step manually through single instructions instead of full basic blocks. Record the transformation performed by each instruction as symbolic equations. Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
Diffstat (limited to 'symbolic.py')
0 files changed, 0 insertions, 0 deletions