Skip to content

Commit

Permalink
Update INSTALL.md
Browse files Browse the repository at this point in the history
  • Loading branch information
dtomassi authored Jul 15, 2021
1 parent adaff3c commit b4a6834
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion INSTALL.md
Original file line number Diff line number Diff line change
Expand Up @@ -53,15 +53,16 @@ $ bash analyzers/run_tools.sh
```

### 3. Parsing tool reports (~5 minute)
![tableiii](https://github.com/ucd-plse/Static-Bug-Detectors-ASE-Artifact/blob/main/tableiii.png)
#### A. Parse tool reports
```
$ bash scripts/parsers/run_parsers.sh
```
#### B. Verify tool warnings
If ran only a specific tool then only that tool should match. All other tools will have 0 warnings. If bugs under study have become unreproducible then this may cause a mismatch in number of warnings.
```
$ bash verify-scripts/run_verify_tool_warnings.sh
```
![tableiii](https://github.com/ucd-plse/Static-Bug-Detectors-ASE-Artifact/blob/main/tableiii.png)
### 4. Setting up DB (~10 minutes)
#### Creating and populating database tables
We offer two options for getting results for Table IV. The first is to use the reproduced warnings that were generated when you ran Step 2. This option may not have the same results as the study due to a bug under study becoming unreproducible. To avoid this issue, you may use the tool warnings we observed in the study. This will produce the exact results reported in Table IV.
Expand Down

0 comments on commit b4a6834

Please sign in to comment.