about summary refs log tree commit diff stats
path: root/tools/capture_transforms.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Enable Focaccia's logging in capture_transforms.pyTheofilos Augoustis2024-07-281-8/+3
| | | | | | | Disable Miasm's disassembly logger by default. Enable Focaccia's symbolic execution logger. Also refactor envp construction to use the `utils.get_envp` function.
* Make symbolic equations more symbolicTheofilos Augoustis2024-02-191-1/+6
| | | | | | Reduce the impact of concrete guidance on the process of calculating an instruction's symbolic equation. The resulting equations will contain less assumptions about the concrete state and thus be more generic.
* Basic reproducer generator setupTheofilos Augoustis2024-02-021-1/+1
| | | | | Co-authored-by: Alp Berkman <alp.berkman@no-reply.com> Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
* Refactor symbolic transformation handlingTheofilos Augoustis2024-01-171-0/+27