search

SpoonLabs / npefix

Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (SANER'17)
https://hal.archives-ouvertes.fr/hal-01419861/document
14 stars 9 forks source link

PR to introduce a safemode, using strategies 3 and 4 of npefix #15

Closed btellstrom closed 5 years ago

btellstrom commented 6 years ago

This PR seeks to resolve #10

coveralls commented 6 years ago

Coverage Status

Coverage decreased (-0.4%) to 34.936% when pulling 9071ad95db121f3aa4d47ef9e544206749fd264e on btellstrom:safe-mode into 45f0f3a3605b5265717c79b5188c3db95c53845f on Spirals-Team:master.

coveralls commented 6 years ago

Coverage Status

Coverage decreased (-0.4%) to 34.936% when pulling 9071ad95db121f3aa4d47ef9e544206749fd264e on btellstrom:safe-mode into 45f0f3a3605b5265717c79b5188c3db95c53845f on Spirals-Team:master.

tdurieux commented 6 years ago

I think a really safe strategy should be based on the MonoExplorerSelector instead of ton the Greedy selector

btellstrom commented 5 years ago

A question, is it currently always using the "ExplorerSelector" or can some other selector be sepcified in some configuration somewhere?

tdurieux commented 5 years ago

I did not implement a configuration that allows for changing the configuration. I was creating a new Main for each selector.

monperrus commented 5 years ago

16 is the alternative