Zorya now analyzes gc-compiled Go binaries and detects seven of eleven real-world vulnerabilities at the binary level, including a silent integer overflow missed by other tools without an oracle.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Experience report on applying RSE practices to libNEGF reveals critical defects and performance issues in a quantum transport code, suggesting such problems are common in Fortran scientific software.
citing papers explorer
-
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Zorya now analyzes gc-compiled Go binaries and detects seven of eleven real-world vulnerabilities at the binary level, including a silent integer overflow missed by other tools without an oracle.
-
RSE of a Quantum Transport Code and its Effects
Experience report on applying RSE practices to libNEGF reveals critical defects and performance issues in a quantum transport code, suggesting such problems are common in Fortran scientific software.