trevon/fold
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
371 commits 2 branches 0 tags 7.4 MiB
Commit graph

1 commit

Author SHA1 Message Date
trvon
8a465b6675
 		feat: BinaryBBObserver — Z3-proved binary findings + unit tests 
- BinaryBBObserver extends SafetyObserver for binary BB analysis
- Detects null-deref, div-by-zero, int-overflow via Z3 on binary paths
- Wired into BinaryDetectorRunner in scan pipeline
 2026-05-29 21:55:48 -04:00