Giters

msv-lab / angelix

Semantic program repair system for C programs

Home Page:http://angelix.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Guards not add for certain type of statement

stan6 opened this issue · comments

commented

The "guards" defect class doesn't add guard for the following types of statement:

  • Break / Continue
  • E+=E1 / E-=E1 / E*=E1

For example, if the defect involves removing break statement. Angelix doesn't insert angelix_trace in the frontend instrumentation and hence, no fix is generated.