TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
2735 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: c32b3e16b7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c32b3e16b7'
${ noResults }
Commit Graph

2735 Commits (c32b3e16b75b9fd0c657c0dc65fdf21fbbba9e46)
 

Author SHA1 Message Date
Feist Josselin ac5cee76a1
Merge pull request #839 from crytic/dev-reference-lookup
4 years ago
Josselin cde06f49b0 Minor
4 years ago
Josselin 4a216acafd Fix variable reference lookup
4 years ago
Josselin 54251b096e Open source dead-code detector
4 years ago
Feist Josselin ef64a127d8
Merge pull request #837 from crytic/dev-unchecked-block
4 years ago
Feist Josselin bd91f39003
Merge pull request #836 from crytic/dev-scope
4 years ago
Josselin 55962d482d Merge branch 'dev-scope' into dev-unchecked-block
4 years ago
Josselin 7d4ccf95b4 Minor fix
4 years ago
Josselin 29c586e361 Add ast tests
4 years ago
Josselin 9b33255371 black
4 years ago
Josselin d6c24351f9 Merge branch 'dev-scope' into dev-unchecked-block
4 years ago
Josselin 65497ece53 minor
4 years ago
Josselin 5319654922 Add unchecked block information + add checked arithmetic info
4 years ago
Josselin f797166e0f Merge branch 'master' into dev-scope
4 years ago
Josselin baa6b5836f Merge branch 'dev' into dev-scope
4 years ago
Josselin 571a849757 Add scope information in slithIR CFG
4 years ago
Josselin 4cf084d77e Merge branch 'dev'
4 years ago
Feist Josselin 76c5cb2602
Merge pull request #823 from crytic/dev-multiple-compilation-units
4 years ago
Josselin 3f3855a28e run black on setup.py
4 years ago
Feist Josselin ceb7478eed
Disable mypy gh action
4 years ago
Feist Josselin 01800ef9ae
Disable mypy from gh super action
4 years ago
Feist Josselin b0c97a1571
Use crytic-compile@master
4 years ago
Josselin 9533947d84 Merge branch 'dev' into dev-multiple-compilation-units
4 years ago
Feist Josselin 4a8cdf7b83
Merge pull request #833 from crytic/dev-yul-slot-offset
4 years ago
Josselin 553c4987a7 Run black
4 years ago
Feist Josselin 4780ff537f
Merge pull request #832 from crytic/dev-ast-tests
4 years ago
Josselin 8f4bcd8a89 Merge branch 'dev-ast-tests' into dev-yul-slot-offset
4 years ago
Josselin 367a1dea61 Fix ast tests
4 years ago
Josselin fa4523831e Improve gh action
4 years ago
Josselin 768c9d05e5 Add support for .slot and .offset in yul parsing
4 years ago
Josselin 3d4d26d600 Improve AST parsing tests + add 0.8
4 years ago
Feist Josselin fa04fb652b
Merge pull request #830 from crytic/dev-constant-folding-fix
4 years ago
Josselin 6c081fe277 Merge branch 'dev' into dev-constant-folding-fix
4 years ago
Feist Josselin eabdd9e78e
Merge pull request #825 from crytic/restructure-test-folder
4 years ago
Josselin 037ee3501c Merge branch 'dev' into dev-constant-folding-fix
4 years ago
Josselin 1782a76120 Merge branch 'dev' into restructure-test-folder
4 years ago
Josselin e2fd9d2c19 Improve constant folding (Fix #820)
4 years ago
Feist Josselin 0c174ef18b
Merge pull request #828 from crytic/dev-remove-counter
4 years ago
Feist Josselin 6362982d8b
Merge pull request #819 from crytic/dev-checklist
4 years ago
Josselin a988d9c89e Update tests
4 years ago
Josselin 9e8e175496 Update tests
4 years ago
Josselin 8847899a43 run black
4 years ago
Josselin 81bf2cce99 Remove COUNTER from slithir variables classes
4 years ago
Josselin 8d823c4b6e Minor
4 years ago
Josselin 6d8eb58534 Merge branch 'dev' into dev-checklist
4 years ago
Feist Josselin 115066c643
Merge pull request #827 from crytic/dev-fix-implicit-type-conversion
4 years ago
Josselin 989e87e81a Fix minor
4 years ago
Josselin 8e4d93e9ff Commit changes
4 years ago
Josselin 047ca4071d Fix incorrect type conversion in case of libraries lookup name collision
4 years ago
Feist Josselin 3b7710e434
Merge pull request #822 from crytic/add-unused-return-transfers-detector
4 years ago