Publication | Closed Access
Filtering false alarms of buffer overflow analysis using SMT solvers
37
Citations
11
References
2009
Year
Hardware SecurityEngineeringRuntime VerificationPerformance MonitoringProgram AnalysisFalse AlarmsSoftware TestingFormal MethodsComputer EngineeringSoftware EngineeringSystems EngineeringComputer ScienceFuzzingStatic Program AnalysisSoftware AnalysisSignal ProcessingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1