Login / Signup

An Architecture Supporting Formal and Compositional Binary Analysis.

Joseph McMahanMichael ChristensenLawton NicholsJared RoeschSung-Yee GuoBen HardekopfTimothy Sherwood
Published in: ASPLOS (2017)
Keyphrases
  • automatic analysis
  • wide range
  • statistical analysis
  • database
  • search engine
  • data analysis
  • genetic algorithm
  • artificial intelligence
  • artificial neural networks
  • multiresolution
  • quantitative analysis
  • formal analysis