BlackVectorOps

4 ms·

1. 1.▲
   Standard Control Flow Flattening is fundamentally broken(gist.github.com)

   10 points by BlackVectorOps 6mo ago|0 comments
2. 2.▲
   by BlackVectorOps 9mo ago

   I solve that with Scalar Evolution (SCEV) analysis. The tool doesn't just hash the AST; it solves the loop math. You are right that AST hashing is brittle. That is why I wrote an engine that virtually executes the induction variables t
3. 3.▲
   by BlackVectorOps 9mo ago

   Hello HN, I built this because I've become paranoid about "safe" refactors in the wake of supply chain attacks like the xz backdoor. We spend a lot of time reviewing code for syntax, but we lack good tools for verifying that
4. 4.▲
   Show HN: Hashing Go Functions Using SSA and Scalar Evolution(github.com)

   3 points by BlackVectorOps 9mo ago|3 comments