Publication | Closed Access
Binary Code Analysis
19
Citations
20
References
2013
Year
Security ResearchersEngineeringSoftware EngineeringSource Code AnalysisSoftware AnalysisFormal VerificationHardware SecurityBinary Code AnalysisBinary CodeBinary AnalysisStatic CheckingVariable-length CodeStatic AnalysisComputer EngineeringDynamic AnalysisComputer ScienceStatic Program AnalysisLanguage-based SecuritySoftware DesignSoftware SecurityProgram AnalysisSoftware TestingFormal MethodsSystem Software
Static and dynamic analysis of binary code can provide useful information to security researchers without access to assembly code. However, these approaches currently require separate tools, forcing users to perform distinct analysis and then combine the results.
| Year | Citations | |
|---|---|---|
Page 1
Page 1