Sat Sep 02 10:20:16+0200 2017
fd4ead0
update readme
README.md
| 17 | 17 | Binary analysis software | |
| 18 | 18 | ------------------------ | |
| 19 | 19 | ||
| 20 | - | * _capstone_: A disassembler framework with a lot of supported architectures | |
| 21 | - | * _z3_: A constraint solver | |
| 22 | 20 | * _angr_: A binary analysis tool | |
| 23 | - | * _radare2_: A disassembler and analysis tool | |
| 24 | 21 | * _bap_: A binary analysis platform | |
| 25 | 22 | ||
| 26 | 23 | Games | |
… | |||
| 33 | 30 | ||
| 34 | 31 | * _aegisub_: A subtitle editor | |
| 35 | 32 | ||
| 36 | - | Image | |
| 37 | - | ----- | |
| 38 | - | ||
| 39 | - | * _gpick_: A color picker | |
| 40 | - | ||
| 41 | 33 | Java | |
| 42 | 34 | ---- | |
| 43 | 35 | ||
… | |||
| 72 | 64 | TODO | |
| 73 | 65 | ==== | |
| 74 | 66 | ||
| 75 | - | Eiffel studio -> eiffel -> AutoProof and Eve -> boogie -> z3. | |
| 67 | + | Eiffel studio -> eiffel -> AutoProof and Eve -> boogie. | |
| 76 | 68 | ||
| 77 | 69 | alt-ergo, CVC4 | |