Content deleted Content added
m WP:CHECKWIKI error fixes using AWB |
Puppydragon (talk | contribs) |
||
Line 508:
''ClearView'':<ref name=clearview/> A generate-and-validate tool of generating binary patches for deployed systems. It is evaluated on 10 security vulnerability cases. A later study shows that it generates correct patches for at least 4 of the 10 cases.<ref name=kali/>
''[http://dijkstra.cs.virginia.edu/genprog/ GenProg]'':<ref name=genprog2009/><ref name=genprog2012/> A genetic improvement generate-and-validate bug-fixing tool. It
is evaluated on 105 cases and reported to generate repairs for 55 cases. A
later study shows that only 69 cases out of the 105 evaluated cases correspond
Line 519:
''[http://sei.pku.edu.cn/~gaoqing11/leakfix/ LeakFix]'':<ref name=leakfix/> A tool that automatically fixes memory leaks in C programs.
''[http://groups.csail.mit.edu/pac/patchgen/ Prophet]'':<ref name=prophet/> The first generate-and-validate tool that uses machine learning techniques to learn useful knowledge from past human patches to recognize correct patches. It is evaluated on the same benchmark as GenProg and generate correct patches (i.e., equivalent to human patches) for 18 out of 69 cases.<ref name=prophet/>
''[http://angelix.io/ Angelix]'':<ref name=angelix/> An improved solver-based bug-fixing tool. It is evaluated on the GenProg benchmark. For 10 out of the 69 cases, it generate patches that is equivalent to human patches.
===Tools for Java===
| |||