BlackVectorOps/semantic_firewall
View on GitHub ↗ ★ 37 Go
Generate deterministic semantic fingerprints for Go functions. Detect xz-style backdoors and verify semantic equivalence using Static Single Assignment (SSA) analysis and Scalar Evolution.
3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2026-01-11 · latest 2026-01-12
20082026
-
…the "syntactic sugar" refactors that make up 90% of code churn. You can view the proof code here: https://github.com/BlackVectorOps/semantic_firewall/blob/mai... Or run it yourself: go run examples/proof.go
comment by BlackVectorOps · 2026-01-12 · in Show HN: Hashing Go Functions Using SSA and Scalar Evolution -
…your thoughts on the approach or edge cases I might have missed in the normalization phase. Repo: https://github.com/BlackVectorOps/semantic_firewall
comment by BlackVectorOps · 2026-01-11 · in Show HN: Hashing Go Functions Using SSA and Scalar Evolution