Hacker News new | ask | show | jobs
by xvilka 2543 days ago
Also a Mirage OS/unikernel, BAP and BinCat binary analysis frameworks, Facebook Infer source-level static analyzer, etc.