Solutions
Capabilities
Publications
Open Source
About
Team
Careers
News and Press Releases
Solutions
Capabilities
Publications
Open Source
About
Team
Careers
News and Press Releases
GrammaTech Publications
Open-Source Software Security – Areas of Long Term Focus and Prioritization
Learn more
Predicting the Success of x86-64 Binary Rewriters
Learn more
Evolving Exact Decompilation
Learn more
Datalog Disassembly
Learn more
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing
Learn more
Software Transformation: Applications, Tools, Challenges, and Program Representation
Learn more
Inuring: Live Attacker-guided Repair
Learn more
Buffer overrun detection using linear programming and static analysis
Learn more
API analytics for curating static analysis rules
Learn more
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
Learn more
The Interprocedural Express-Lane Transformation
Learn more
Weighted pushdown systems and their application to interprocedural dataflow analysis
Learn more
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
Learn more
WYSINWYX: What You See Is Not What You eXecute
Learn more
Guided Static Analysis
Learn more
Finite differencing of logical formulas for static analysis
Learn more
Analysis Techniques for Information Security
Learn more
PEASOUP: preventing exploits against software of uncertain provenance (position paper)
Learn more
Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair
Learn more
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery
Learn more
Exploiting and Protecting Dynamic Code Generation
Learn more
Polymorphic type inference for machine code
Learn more
Data-Driven Program Completion
Learn more
MuSynth: Program Synthesis via Code Reuse and Code Manipulation
Learn more
Previous Page
1
2
Next Page