search

Erikcruzk / TRT

The Transformative Repair Tool
Other
1 stars 0 forks source link

Converting of SB analysis results to project-canonical TRT-readable json file #39

Closed mojtaba-eshghie closed 7 months ago

mojtaba-eshghie commented 1 year ago

We have already a lot of available results for SB. We should have a option in TRT resume a repair job based on an already existing experiment results. This makes the repair task more adhoc and independent from the analysis. Furthermore, for future work, we might add constrained semantic equivalence to the repair loop as well. So, having a project-based analysis file is more convenient.

mojtaba-eshghie commented 12 months ago

The intermediate analysis results that this conversion should generates looks like this:

projectName/vulnerabilies.json:

{
   "correctRelativeFilePathForTRT/SolidityFile1Name.sol" : 
      {
         "slither" : { analyzer results for this Solidity file },
         "smartcheck" : { analyzer results for this Solidity file },
         "semgrep" : { analyzer results for this Solidity file } 
      }
}
mojtaba-eshghie commented 7 months ago

Closing this as it was resolved and merged long ago.