Search papers, labs, and topics across Lattice.
2
0
4
Packer identification tools, a cornerstone of malware analysis, are riddled with semantic bugs that can be automatically detected and repaired using unpackers as executable contracts, leading to substantial improvements in malware analysis pipelines.
Widely used Java static analysis frameworks produce call graphs with irreconcilable semantic gaps, challenging the assumption that they yield comparable results.
