You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -16,7 +16,7 @@ The main class is [GoLiSA](go-lisa/src/main/java/it/unive/golisa/GoLiSA.java) an
16
16
- `non-determinism-ni` performs an analysis to detect explicit and implicit flows that lead to issues related to __non-determinism__ in blockchain software
17
17
- `phantom-read` performs an analysis to detect __phantom__ __reads__ in blockchain software for Hyperledger Fabric
18
18
- `ucci` performs an analysis to detect __untrusted__ __cross-contract__ __invocations__ in blockchain software for Hyperledger Fabric
19
-
- `dcci` performs an analysis to detect different cross-channel invocations in blockchain software for Hyperledger Fabric
19
+
- `cchi` performs an analysis to detect issues related to cross-channel invocations in blockchain software for Hyperledger Fabric
20
20
- `read-write` performs an analysis to detect __read-after-write__ and __over-write__ issues in blockchain software for Hyperledger Fabric
21
21
- `unhandled-errors` performs an analysis to detect __unhandled__ __errors__ in blockchain software for Hyperledger Fabric
22
22
- `phantom-read` performs an analysis to detect __phantom__ __reads__ in blockchain software for Hyperledger Fabric
0 commit comments