8 Commits

Author SHA1 Message Date
eversinc33 a0df9dfb0c Update README.md 2026-06-02 13:34:12 +02:00
eversinc33 d3d7a7a109 Update README.md 2026-06-02 13:33:41 +02:00
eversinc33 0681a580ef Handle function with multiple VMs (#5)
* seed ESP and VSP on discovery path

* infer arg count of external calls

* add devirtualize me example to readme

* fix branch regression

* cleanup, add devirtualizeme example to tests

* handles multi-VM function
2026-06-02 13:31:31 +02:00
eversinc33 c674ecb448 fix vmexit heuristic, fix concrete prop pass bug 2026-06-01 22:18:51 +02:00
eversinc33 fea48689d3 rename aux to other (fixes #4) 2026-06-01 20:47:45 +02:00
eversinc33 e48a180a64 fix rdtsc hack 2026-06-01 13:45:11 +02:00
eversinc33 6e22a1eeb9 Update README.md 2026-06-01 09:32:13 +02:00
eversinc33 3a0493de3e Initial commit 2026-05-31 23:40:31 +02:00