issues
search
crytic
/
caracal
Static Analyzer for Starknet smart contracts
GNU Affero General Public License v3.0
134
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Bug-Candidate]: Err value in src/core/core_unit.rs
#60
ThomasHeim11
opened
3 months ago
1
Add safe external calls option
#59
smonicas
closed
9 months ago
0
Improve taint
#58
technovision99
closed
9 months ago
0
Update for Cairo 2.5.0
#57
smonicas
closed
9 months ago
0
feat: support Cairo v2.4.0
#56
milancermak
closed
9 months ago
0
Add tx.origin detector
#55
tarunbhm
closed
9 months ago
0
Add support for `Span` in the user-after-pop-front detector
#54
tarunbhm
closed
9 months ago
0
fix unused return bug
#53
technovision99
closed
9 months ago
0
Avoid duplicates in detectors results
#52
smonicas
closed
1 year ago
0
Cairo project allow multiple contracts at once
#51
smonicas
closed
1 year ago
0
Handle calls to self declared external functions
#50
smonicas
closed
1 year ago
0
Fix function type inside impl block
#49
smonicas
closed
1 year ago
0
Use local compiler if available
#48
smonicas
closed
1 year ago
0
Support cairo project
#47
smonicas
closed
1 year ago
2
feat: inaccessible replace_class_syscall detector
#46
milancermak
opened
1 year ago
0
chore: update sierra file stem
#45
tserg
closed
1 year ago
4
Update felt252
#44
technovision99
closed
1 year ago
0
Fix callgraph bugs
#43
technovision99
closed
1 year ago
0
Github action
#42
milancermak
opened
1 year ago
0
Array use after pop front detector
#41
tarunbhm
closed
1 year ago
0
Update for Cairo 2.2.0
#40
smonicas
closed
1 year ago
0
Fix compilation utils
#39
technovision99
closed
1 year ago
0
Fix compilation utils
#38
technovision99
closed
1 year ago
0
Detect use of felt252 operations with tainted parameters
#37
technovision99
closed
1 year ago
0
Support Cairo 2
#36
smonicas
closed
1 year ago
0
Detector: array use after pop_front
#35
tarunbhm
closed
1 year ago
0
Storage variables not written back to storage
#34
enitrat
opened
1 year ago
1
Fix lints
#33
technovision99
closed
1 year ago
0
fix clippy lints
#32
technovision99
closed
1 year ago
0
New call graph
#31
technovision99
closed
1 year ago
0
Add colors to detectors' result
#30
smonicas
closed
1 year ago
0
Change option what to printer
#29
smonicas
closed
1 year ago
0
Improve Scarb support
#28
smonicas
closed
1 year ago
0
Remove CFG optimized
#27
smonicas
closed
1 year ago
0
Rename to Caracal
#26
smonicas
closed
1 year ago
0
Add issue templates
#25
smonicas
closed
1 year ago
0
Add LICENSE
#24
smonicas
closed
1 year ago
0
Add CI
#23
smonicas
closed
1 year ago
0
Update README.md
#22
technovision99
closed
1 year ago
0
Add detector for unchecked L1 from address in L1 handler functions
#21
tarunbhm
closed
1 year ago
1
An l1_handler function not checking the from_address
#20
tarunbhm
closed
1 year ago
0
Reentrancy detectors
#19
smonicas
closed
1 year ago
0
Allow selecting/excluding which detectors to run
#18
smonicas
closed
1 year ago
0
Improve unused return
#17
smonicas
closed
1 year ago
0
Support Scarb
#16
smonicas
closed
1 year ago
0
fix_recursion_issue
#15
technovision99
closed
1 year ago
0
View recursion fix
#14
technovision99
closed
1 year ago
0
Unenforced view detector
#13
technovision99
closed
1 year ago
0
Add CODEOWNERS
#12
ggrieco-tob
closed
1 year ago
0
Update README.md
#11
ggrieco-tob
closed
1 year ago
0
Next