File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed
Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ The main class is [GoLiSA](go-lisa/src/main/java/it/unive/golisa/GoLiSA.java) an
2020 - `read-write` performs an analysis to detect __read-after-write__ and __over-write__ issues in blockchain software for Hyperledger Fabric
2121 - `unhandled-errors` performs an analysis to detect __unhandled__ __errors__ in blockchain software for Hyperledger Fabric
2222 - `phantom-read` performs an analysis to detect __phantom__ __reads__ in blockchain software for Hyperledger Fabric
23- - `var-numerical-overflow` performs an analysis to detect the __integer __overflow/underflow__ of program variables in Go software
23+ - `var-numerical-overflow` performs an analysis to detect the __integer__ __overflow/underflow__ of program variables in Go software
2424 - `div-by-zero` performs an analysis to detect __divison__ __by__ __zero__ in Go software
2525
2626### Example of command line
You can’t perform that action at this time.
0 commit comments