Login / Signup
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.
Kaled M. Alshmrany
Rafael S. Menezes
Mikhail R. Gadelha
Lucas C. Cordeiro
Published in:
CoRR (2020)
Keyphrases
</>
security vulnerabilities
white box
black box
source code
intrusion detection
dos attacks
security properties
penetration testing
information systems
attack graphs