Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
  1. …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
  2. …your thoughts on the approach or edge cases I might have missed in the normalization phase. Repo: https://github.com/BlackVectorOps/semantic_firewall