BinHunt: Automatically Finding Semantic Differences in Binary Programs.
Debin GaoMichael K. ReiterDawn Xiaodong SongPublished in: ICICS (2008)
Keyphrases
- semantic categories
- high level
- semantic web
- natural language
- knowledge base
- semantic information
- semantic network
- data sets
- higher level
- semantic parsing
- semantically related
- semantic knowledge
- semantic search
- computer programs
- semantic analysis
- automatically generated
- user defined
- domain ontology
- programming language
- low level
- domain knowledge
- case study
- machine learning