crytic/caracal issues and pull requests

#60 - [Bug-Candidate]: Err value in src/core/core_unit.rs

Issue - State: open - Opened by ThomasHeim11 7 months ago - 1 comment
Labels: bug-candidate

#59 - Add safe external calls option

Pull Request - State: closed - Opened by smonicas about 1 year ago

#58 - Improve taint

Pull Request - State: closed - Opened by technovision99 about 1 year ago

#57 - Update for Cairo 2.5.0

Pull Request - State: closed - Opened by smonicas about 1 year ago

#56 - feat: support Cairo v2.4.0

Issue - State: closed - Opened by milancermak about 1 year ago
Labels: enhancement

#55 - Add tx.origin detector

Pull Request - State: closed - Opened by tarunbhm over 1 year ago

#54 - Add support for `Span` in the user-after-pop-front detector

Pull Request - State: closed - Opened by tarunbhm over 1 year ago

#53 - fix unused return bug

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#52 - Avoid duplicates in detectors results

Pull Request - State: closed - Opened by smonicas over 1 year ago

#51 - Cairo project allow multiple contracts at once

Pull Request - State: closed - Opened by smonicas over 1 year ago

#50 - Handle calls to self declared external functions

Pull Request - State: closed - Opened by smonicas over 1 year ago

#49 - Fix function type inside impl block

Pull Request - State: closed - Opened by smonicas over 1 year ago

#48 - Use local compiler if available

Pull Request - State: closed - Opened by smonicas over 1 year ago

#47 - Support cairo project

Pull Request - State: closed - Opened by smonicas over 1 year ago - 2 comments

#46 - feat: inaccessible replace_class_syscall detector

Issue - State: open - Opened by milancermak over 1 year ago
Labels: enhancement

#46 - feat: inaccessible replace_class_syscall detector

Issue - State: open - Opened by milancermak over 1 year ago
Labels: enhancement

#46 - feat: inaccessible replace_class_syscall detector

Issue - State: open - Opened by milancermak over 1 year ago
Labels: enhancement

#45 - chore: update sierra file stem

Pull Request - State: closed - Opened by tserg over 1 year ago - 4 comments

#45 - chore: update sierra file stem

Pull Request - State: closed - Opened by tserg over 1 year ago - 4 comments

#44 - Update felt252

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#44 - Update felt252

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#43 - Fix callgraph bugs

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#43 - Fix callgraph bugs

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#42 - Github action

Issue - State: open - Opened by milancermak over 1 year ago
Labels: enhancement

#41 - Array use after pop front detector

Pull Request - State: closed - Opened by tarunbhm over 1 year ago

#41 - Array use after pop front detector

Pull Request - State: closed - Opened by tarunbhm over 1 year ago

#41 - Array use after pop front detector

Pull Request - State: closed - Opened by tarunbhm over 1 year ago

#40 - Update for Cairo 2.2.0

Pull Request - State: closed - Opened by smonicas over 1 year ago

#40 - Update for Cairo 2.2.0

Pull Request - State: closed - Opened by smonicas over 1 year ago

#39 - Fix compilation utils

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#38 - Fix compilation utils

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#38 - Fix compilation utils

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#37 - Detect use of felt252 operations with tainted parameters

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#37 - Detect use of felt252 operations with tainted parameters

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#36 - Support Cairo 2

Pull Request - State: closed - Opened by smonicas over 1 year ago

#36 - Support Cairo 2

Pull Request - State: closed - Opened by smonicas over 1 year ago

#35 - Detector: array use after pop_front

Issue - State: closed - Opened by tarunbhm over 1 year ago
Labels: enhancement

#35 - Detector: array use after pop_front

Issue - State: closed - Opened by tarunbhm over 1 year ago
Labels: enhancement

#34 - Storage variables not written back to storage

Issue - State: open - Opened by enitrat over 1 year ago - 1 comment
Labels: enhancement

#34 - Storage variables not written back to storage

Issue - State: open - Opened by enitrat over 1 year ago - 1 comment
Labels: enhancement

#33 - Fix lints

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#33 - Fix lints

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#32 - fix clippy lints

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#32 - fix clippy lints

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#31 - New call graph

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#31 - New call graph

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#30 - Add colors to detectors' result

Pull Request - State: closed - Opened by smonicas over 1 year ago

#29 - Change option what to printer

Pull Request - State: closed - Opened by smonicas over 1 year ago

#28 - Improve Scarb support

Pull Request - State: closed - Opened by smonicas over 1 year ago

#28 - Improve Scarb support

Pull Request - State: closed - Opened by smonicas over 1 year ago

#27 - Remove CFG optimized

Pull Request - State: closed - Opened by smonicas over 1 year ago

#27 - Remove CFG optimized

Pull Request - State: closed - Opened by smonicas over 1 year ago

#26 - Rename to Caracal

Pull Request - State: closed - Opened by smonicas over 1 year ago

#26 - Rename to Caracal

Pull Request - State: closed - Opened by smonicas over 1 year ago

#25 - Add issue templates

Pull Request - State: closed - Opened by smonicas over 1 year ago

#24 - Add LICENSE

Pull Request - State: closed - Opened by smonicas over 1 year ago

#23 - Add CI

Pull Request - State: closed - Opened by smonicas over 1 year ago

#23 - Add CI

Pull Request - State: closed - Opened by smonicas over 1 year ago

#22 - Update README.md

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#22 - Update README.md

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#21 - Add detector for unchecked L1 from address in L1 handler functions

Pull Request - State: closed - Opened by tarunbhm over 1 year ago - 1 comment

#21 - Add detector for unchecked L1 from address in L1 handler functions

Pull Request - State: closed - Opened by tarunbhm over 1 year ago - 1 comment

#20 - An l1_handler function not checking the from_address

Issue - State: closed - Opened by tarunbhm over 1 year ago

#20 - An l1_handler function not checking the from_address

Issue - State: closed - Opened by tarunbhm over 1 year ago

#19 - Reentrancy detectors

Pull Request - State: closed - Opened by smonicas over 1 year ago

#19 - Reentrancy detectors

Pull Request - State: closed - Opened by smonicas over 1 year ago

#18 - Allow selecting/excluding which detectors to run

Pull Request - State: closed - Opened by smonicas over 1 year ago

#18 - Allow selecting/excluding which detectors to run

Pull Request - State: closed - Opened by smonicas over 1 year ago

#17 - Improve unused return

Pull Request - State: closed - Opened by smonicas over 1 year ago

#16 - Support Scarb

Pull Request - State: closed - Opened by smonicas over 1 year ago

#15 - fix_recursion_issue

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#14 - View recursion fix

Pull Request - State: closed - Opened by technovision99 over 1 year ago

#13 - Unenforced view detector

Pull Request - State: closed - Opened by technovision99 almost 2 years ago

#12 - Add CODEOWNERS

Pull Request - State: closed - Opened by ggrieco-tob almost 2 years ago

#11 - Update README.md

Pull Request - State: closed - Opened by ggrieco-tob almost 2 years ago

#10 - CI mvp

Pull Request - State: closed - Opened by 0xalpharush almost 2 years ago - 3 comments

#9 - Find a name

Issue - State: closed - Opened by montyly almost 2 years ago

#8 - Printer ideas

Issue - State: closed - Opened by montyly almost 2 years ago

#7 - Detector ideas

Issue - State: closed - Opened by montyly almost 2 years ago

#6 - Add tests

Issue - State: closed - Opened by montyly almost 2 years ago - 1 comment

#5 - Add linters

Issue - State: closed - Opened by montyly almost 2 years ago

#4 - Add contributing guidelines

Issue - State: closed - Opened by montyly almost 2 years ago

#3 - Add codeowner

Issue - State: closed - Opened by montyly almost 2 years ago

#2 - Add Taint analysis

Pull Request - State: closed - Opened by smonicas about 2 years ago

#1 - Add dataflow analysis framework

Pull Request - State: closed - Opened by smonicas about 2 years ago

GitHub / crytic/caracal issues and pull requests