Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

Docker build image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-image.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix implementation of PC instruction Docker build image #80: Pull request #60 opened by markusscherer
Action required markusscherer:master
markusscherer:master
Action required
Merge pull request #59 from lisa-analyzer/fix/mk-method-in-taint-anal… Docker build image #79: Commit 69e3a8b pushed by VincenzoArceri
1m 12s master
master
1m 12s
Add head and tail parameters to constructors and mk methods Docker build image #78: Pull request #59 opened by merendamattia
1m 9s fix/mk-method-in-taint-analysis
fix/mk-method-in-taint-analysis
1m 9s
Merge pull request #58 from lisa-analyzer/fix/ci-tests Docker build image #77: Commit 9f1fa89 pushed by VincenzoArceri
1m 6s master
master
1m 6s
Refactor Docker workflow and add issue templates Docker build image #76: Pull request #58 opened by merendamattia
1m 5s fix/ci-tests
fix/ci-tests
1m 5s
Merge pull request #57 from lisa-analyzer/update-publication-references Docker build image #75: Commit d83bcf4 pushed by VincenzoArceri
11s master
master
11s
Revised publication references Docker build image #74: Pull request #57 opened by merendamattia
1m 3s update-publication-references
update-publication-references
1m 3s
Merge pull request #54 from lisa-analyzer/trimmed-cfg-output-patch Docker build image #73: Commit 77c9edd pushed by VincenzoArceri
59s master
master
59s
Merge pull request #56 from lisa-analyzer/etherscan-api-migration-to-v2 Docker build image #72: Commit 9839a97 pushed by VincenzoArceri
1m 4s master
master
1m 4s
Refactor to use EtherscanAPIManager for API requests and migration to Etherscan API v2 Docker build image #71: Pull request #56 opened by merendamattia
1m 0s etherscan-api-migration-to-v2
etherscan-api-migration-to-v2
1m 0s
Add option to show all instructions in CFG representation Docker build image #70: Pull request #54 opened by merendamattia
57s trimmed-cfg-output-patch
trimmed-cfg-output-patch
57s
Merge pull request #52 from lisa-analyzer/counting-update Docker build image #69: Commit 60da221 pushed by VincenzoArceri
1m 4s master
master
1m 4s
Bugfix in bitwise operations, improvements on abstract memory domain Docker build image #68: Pull request #52 synchronize by merendamattia
1m 3s counting-update
counting-update
1m 3s
Bugfix in bitwise operations, improvements on abstract memory domain Docker build image #67: Pull request #52 synchronize by merendamattia
1m 4s counting-update
counting-update
1m 4s
Bugfix in bitwise operations, improvements on abstract memory domain Docker build image #66: Pull request #52 opened by VincenzoArceri
1m 0s counting-update
counting-update
1m 0s
Merge pull request #51 from lisa-analyzer/bug-fix-benchmark-script Docker build image #65: Commit 19348e2 pushed by VincenzoArceri
1m 4s master
master
1m 4s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #64: Pull request #51 synchronize by merendamattia
1m 3s bug-fix-benchmark-script
bug-fix-benchmark-script
1m 3s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #63: Pull request #51 synchronize by merendamattia
1m 6s bug-fix-benchmark-script
bug-fix-benchmark-script
1m 6s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #62: Pull request #51 synchronize by merendamattia
59s bug-fix-benchmark-script
bug-fix-benchmark-script
59s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #61: Pull request #51 synchronize by merendamattia
1m 1s bug-fix-benchmark-script
bug-fix-benchmark-script
1m 1s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #60: Pull request #51 synchronize by merendamattia
58s bug-fix-benchmark-script
bug-fix-benchmark-script
58s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #59: Pull request #51 synchronize by merendamattia
1m 4s bug-fix-benchmark-script
bug-fix-benchmark-script
1m 4s
Fix bug with flags during benchmark execution in Python scripts. Docker build image #58: Pull request #51 opened by merendamattia
1m 0s bug-fix-benchmark-script
bug-fix-benchmark-script
1m 0s
Merge pull request #49 from lisa-analyzer/bug-fix-calldatacopy-taint Docker build image #57: Commit 94d29a2 pushed by VincenzoArceri
59s master
master
59s
Fixed CalldatacopyOperator semantic in TaintAbstractDomain Docker build image #56: Pull request #49 opened by merendamattia
1m 0s bug-fix-calldatacopy-taint
bug-fix-calldatacopy-taint
1m 0s