Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

Gradle Build (non-master branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-all.yml
590 workflow runs
590 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added CCV markup to SmartAxe ground truth Gradle Build (non-master branch) #865: Commit 827d215 pushed by merendamattia
29m 42s cross-chain
cross-chain
29m 42s
Added benchmark results Gradle Build (non-master branch) #864: Commit cf19104 pushed by merendamattia
27m 8s cross-chain
cross-chain
27m 8s
Refined access control checks to allow only external/payable function… Gradle Build (non-master branch) #863: Commit c02ada1 pushed by merendamattia
30m 0s cross-chain
cross-chain
30m 0s
Added benchmark results Gradle Build (non-master branch) #862: Commit 196a3a8 pushed by merendamattia
29m 51s cross-chain
cross-chain
29m 51s
Enhanced logging for protected functions by including contract name i… Gradle Build (non-master branch) #861: Commit 71d950f pushed by merendamattia
27m 42s cross-chain
cross-chain
27m 42s
Added state mutability check in AccessControlIncompletenessChecker Gradle Build (non-master branch) #860: Commit d56fe0f pushed by merendamattia
29m 12s cross-chain
cross-chain
29m 12s
Refactored ProtectedFunctionFinder to use MAX_DEPTH constant for dept… Gradle Build (non-master branch) #859: Commit e42bd4f pushed by merendamattia
28m 38s cross-chain
cross-chain
28m 38s
Refactored ProtectedFunctionFinder to improve null checks and enhance… Gradle Build (non-master branch) #858: Commit 255c73b pushed by merendamattia
28m 11s cross-chain
cross-chain
28m 11s
Handlde null signatures and sources Gradle Build (non-master branch) #857: Commit c0c7fe4 pushed by merendamattia
27m 35s cross-chain
cross-chain
27m 35s
Refactored AccessControlIncompletenessChecker to differentiate betwee… Gradle Build (non-master branch) #856: Commit 96672a6 pushed by merendamattia
28m 20s cross-chain
cross-chain
28m 20s
Included head and tail parameters in constructors and mk methods Gradle Build (non-master branch) #855: Commit a40e0d7 pushed by merendamattia
26m 2s fix/mk-method-in-taint-analysis
fix/mk-method-in-taint-analysis
26m 2s
Merge pull request #58 from lisa-analyzer/fix/ci-tests Gradle Build (non-master branch) #854: Commit 9f1fa89 pushed by merendamattia
26m 21s fix/mk-method-in-taint-analysis
fix/mk-method-in-taint-analysis
26m 21s
Enhanced AccessControlIncompletenessChecker to track sanitized progra… Gradle Build (non-master branch) #853: Commit a071cc2 pushed by merendamattia
29m 47s cross-chain
cross-chain
29m 47s
Added test for AccessControlIncompletenessAbstractDomain with example04 Gradle Build (non-master branch) #852: Commit 3489e5c pushed by merendamattia
29m 26s cross-chain
cross-chain
29m 26s
Added test for AccessControlIncompleteness Gradle Build (non-master branch) #851: Commit e60082b pushed by merendamattia
29m 13s cross-chain
cross-chain
29m 13s
Fixed tainted Mstore logic in RelationalTaintAbstractDomain Gradle Build (non-master branch) #850: Commit 626ca14 pushed by merendamattia
28m 29s cross-chain
cross-chain
28m 29s
Fixed RelationalTaintAbstractDomain to support head and tail indices … Gradle Build (non-master branch) #849: Commit b7851fc pushed by merendamattia
27m 29s cross-chain
cross-chain
27m 29s
Enhanced RelationalTaintElement with new method for creating tainted … Gradle Build (non-master branch) #848: Commit 804cd6e pushed by merendamattia
28m 31s cross-chain
cross-chain
28m 31s
Fixed formatting in Javadoc comments for RelationalTaintElement Gradle Build (non-master branch) #847: Commit 1b9666b pushed by merendamattia
26m 53s cross-chain
cross-chain
26m 53s
Implemented caching for CFG in MyCache and updated EVMLiSA to utilize… Gradle Build (non-master branch) #846: Commit d0a8d22 pushed by merendamattia
31m 4s cross-chain
cross-chain
31m 4s
Added script to extract vulnerabilities from JSON and export to CSV Gradle Build (non-master branch) #845: Commit 6b5a5dd pushed by merendamattia
28m 6s cross-chain
cross-chain
28m 6s
Merge branch 'master' of github.com:lisa-analyzer/evm-lisa into cross… Gradle Build (non-master branch) #844: Commit 9251fad pushed by merendamattia
29m 4s cross-chain
cross-chain
29m 4s
Removing unused fields and methods in MyCache Gradle Build (non-master branch) #843: Commit 3064489 pushed by merendamattia
28m 8s cross-chain
cross-chain
28m 8s
Added isSink method to AccessControlIncompletenessChecker and LocalDe… Gradle Build (non-master branch) #842: Commit 45ae320 pushed by merendamattia
29m 43s cross-chain
cross-chain
29m 43s
Refactored xEVMLiSA to use policy-based edge retrieval and updated lo… Gradle Build (non-master branch) #841: Commit f3c1702 pushed by merendamattia
27m 5s cross-chain
cross-chain
27m 5s