Popular repositories Loading
-
-
Dynamic-Symbolic-Execution
Dynamic-Symbolic-Execution PublicDSE with LLVM and Z3 that automatically generates inputs to efficiently explore different program paths for C programs.
C++ 1
-
-
-
HDR-Fuzz
HDR-Fuzz PublicEnhance AFL by introducing a novel metric in AddressSanitizer which identifies testcases that come close to exposing vulnerabilities
-
Face-Swapping-in-Videos
Face-Swapping-in-Videos PublicAutomatically detect and swap faces between two videos
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.