I would like to add the following tool: - Name: CrashRepair - One line description: Security Vulnerability Repair via Concolic Execution and Code Mutations - Target: [e.g. C/C++, Java, Binaries] C/C++ - DBPL key: [e.g. journals/tse/GouesNFW12] journals/tosem - Website: https://dl.acm.org/doi/10.1145/3707454 - Repository (optional): https://github.com/nus-apr/CrashRepair
I would like to add the following tool: