| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | Store instructions in SymbolicTransformation | Theofilos Augoustis | 2024-02-08 | 6 | -59/+151 | |
| | * | Basic reproducer generator setup | Theofilos Augoustis | 2024-02-02 | 9 | -21/+257 | |
| | * | Extract matching algorithms into a module | Theofilos Augoustis | 2024-02-07 | 3 | -39/+108 | |
| | * | Verify QEMU by abstracting over inconsistencies in trace logs via matching al... | Theofilos Augoustis | 2024-01-30 | 3 | -135/+288 | |
| | * | Add ReadableProgramState interface | Theofilos Augoustis | 2024-02-02 | 4 | -71/+97 | |
| | * | Refactor comparison and user-facing logic | Theofilos Augoustis | 2024-01-24 | 5 | -102/+55 | |
| | * | Use symbolic execution to speed up QEMU testing | Theofilos Augoustis | 2024-01-22 | 5 | -169/+231 | |
| | * | Refactor symbolic transformation handling | Theofilos Augoustis | 2024-01-17 | 9 | -209/+464 | |
| | * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 17 | -121/+102 | |
| | * | Verify QEMU by converting logs to internal data format | Theofilos Augoustis | 2023-12-26 | 4 | -1/+274 | |
| | * | Extend error reporting system | Theofilos Augoustis | 2023-12-27 | 4 | -92/+169 | |
| | * | Refactor parser.py (for gdb integration) | Theofilos Augoustis | 2023-12-26 | 1 | -25/+56 | |
| | * | Improve SparseMemory.write_memory performance | Theofilos Augoustis | 2023-12-26 | 2 | -8/+13 | |
| | * | Implement symbolic comparison and match traces via Miasm | Theofilos Augoustis | 2023-12-14 | 10 | -293/+511 | |
| | * | Adapt symbolic compare to new transform interface | Theofilos Augoustis | 2023-12-08 | 18 | -614/+278 | |
| | * | Replace symbolic execution tools with Miasm | Theofilos Augoustis | 2023-12-07 | 4 | -400/+317 | |
| | * | Record symbolic transform for single instructions | Theofilos Augoustis | 2023-11-28 | 4 | -78/+178 | |
| | * | Add memory storage capabilities to `ProgramState` | Theofilos Augoustis | 2023-11-27 | 4 | -156/+229 | |
| | * | Implement symbolic state comparison algorithm | Theofilos Augoustis | 2023-11-27 | 8 | -191/+210 | |
| | * | Standardize X86 register names | Theofilos Augoustis | 2023-11-26 | 6 | -122/+142 | |
| | * | Migrate to Miasm for concolic execution from Angr | Theofilos Augoustis | 2023-11-25 | 3 | -0/+363 | |
| | * | Implement interpreter for symbolic expressions | Theofilos Augoustis | 2023-11-10 | 6 | -71/+427 | |
| | * | Implement symbolic tracing in trace_symbols.py using Angr | Theofilos Augoustis | 2023-11-07 | 3 | -180/+158 | |
| | * | Support for testing concrete and emulated execution with angr | Theofilos Augoustis | 2023-10-21 | 9 | -92/+421 | |
| | * | Implement simple comparison algorithm | Theofilos Augoustis | 2023-10-15 | 2 | -3/+119 | |
| | * | Refactor file structure | Theofilos Augoustis | 2023-10-11 | 9 | -306/+326 | |
| | * | Simplify log file parsing | Theofilos Augoustis | 2023-10-09 | 1 | -92/+94 | |
| | * | Print statistics for unmatched reference basic blocks | Theofilos Augoustis | 2025-02-25 | 1 | -0/+17 | |
| * | | Print statistics for unmatched reference basic blocks | Theofilos Augoustis | 2023-08-24 | 1 | -0/+17 | |
| |/ | ||||||
| * | Improve progressive comparison | Theofilos Augoustis | 2023-08-24 | 1 | -4/+29 | |
| * | Add progressive search over basic blocks | Theofilos Augoustis | 2023-08-24 | 1 | -16/+71 | |
| * | Add initial support for diffs between snapshots | Theofilos Augoustis | 2023-08-20 | 1 | -6/+29 | |
| * | Add README | Theofilos Augoustis | 2023-07-12 | 1 | -0/+5 | |
| * | Add development scripts for comparing Arancini dumps | Theofilos Augoustis | 2023-07-12 | 3 | -0/+466 | |
| * | Add initial gitignore | Theofilos Augoustis | 2023-07-12 | 1 | -0/+11 | |