Publication | Closed Access

A secure-coding and vulnerability check system based on smart-fuzzing and exploit

Vulnerability Assessment (Computing)Software SecurityEngineeringProgram AnalysisInformation SecuritySoftware TestingVulnerability Check SystemSoftware EngineeringSource Code AnalysisBinary AnalysisComputer ScienceFuzzingSoftware AnalysisSecurity Testing MethodFormal Verification