v0.2.3

This release adds the support for Cairo up to 2.5.0, and a new detector for the transaction origin address used as access control.
Additionally a new CLI option --safe-external-calls has been added where the user can specify which functions are safe to be called, at the moment these are used in the reentrancy detectors to not report when the external call is in the functions listed by the user.

What's Changed

• Update for Cairo 2.5.0 by @smonicas in #57
• Fix unused return bug by @technovision99 in #53
• Add support for Span in the use-after-pop-front detector by @tarunbhm in #54
• Add tx.origin detector by @tarunbhm in #55
• Add safe external calls option by @smonicas in #59

Full Changelog: v0.2.2...v0.2.3

v0.2.2

This release adds a new detector for use of an array after removing element(s) from it, adds support for cairo projects, use the local compiler binary if present when analyzing a single file or a cairo project and various other fixes.

What's Changed

• chore: update sierra file stem by @tserg in #45
• Update felt252 by @technovision99 in #44
• Fix callgraph bugs by @technovision99 in #43
• Support cairo project by @smonicas in #47
• Fix function type inside impl block by @smonicas in #49
• Handle calls to self declared external functions by @smonicas in #50
• Use local compiler if available by @smonicas in #48
• Cairo project allow multiple contracts at once by @smonicas in #51
• Array use after pop front detector by @tarunbhm in #41
• Avoid duplicates in detectors results by @smonicas in #52

New Contributors

• @tserg made their first contribution in #45

Full Changelog: v0.2.1...v0.2.2

v0.1.3

Backported changes from v0.2.2

Full Changelog: v0.1.2...v0.1.3

v0.2.1

What's Changed

• Add support for Cairo version 2.2.0
• Add felt252-overflow detector

Full Changelog: v0.2.0...v0.2.1

v0.1.2

What's Changed

• Add felt252-overflow detector

Full Changelog: v0.1.1...v0.1.2

v0.1.1

What's Changed

• Add read-only-reentrancy detector

Full Changelog: v0.1.0...v0.1.1

v0.2.0

This release adds support for Cairo compiler version 2.x.x (aka the new syntax) and adds a new detector.

The support for Cairo 1.x.x will continue in the Caracal cairo-comp-1 branch (see the v0.1.1 release). We aim to keep support for both Cairo 1 and 2 until Cairo 1 is not supported on starknet.

What's Changed

• Support Cairo 2
• Add read-only-reentrancy detector

Full Changelog: v0.1.0...v0.2.0

v0.1.0

First public release of Caracal!