I would like to add the following tool: - Name: EffFix - One line description: Efficient and Effective Repair of Pointer Manipulating Programs - Target: [e.g. C/C++, Java, Binaries] C/C++ - DBPL key: [e.g. journals/tse/GouesNFW12] journals/tosem - Website: https://doi.org/10.1145/3705310 - Repository (optional): https://github.com/nus-apr/efffix
I would like to add the following tool: