Default Branch

eef5df948b · Merge pull request #3072 from crytic/dependabot/github_actions/master/all-a84dda5603 · Updated 2026-08-06 12:20:32 +00:00

Branches

af11d31828 · chore(deps): bump urllib3 from 2.7.0 to 2.8.0 · Updated 2026-10-06 01:32:49 +00:00    crytic

0
1

4836b72cb2 · chore(deps): bump the all group across 1 directory with 9 updates · Updated 2026-09-23 22:54:55 +00:00    crytic

0
1

262f7e588d · chore(deps): bump the all group across 1 directory with 6 updates · Updated 2026-09-09 22:56:09 +00:00    crytic

0
1

59b20d124e · refactor: migrate rounding analysis onto InterproceduralAnalysis · Updated 2026-08-19 19:17:56 +00:00    crytic

0
237

e1a1e69e4d · feat: add loop fixpoint and abstract transfer to interval analysis · Updated 2026-07-16 16:38:05 +00:00    crytic

51
203

fa7174687c · Try compute the value of a keccak256 operation · Updated 2026-03-12 21:58:59 +00:00    crytic

60
1

d605c985f3 · Fix SSA and parsing resilience for complex codebases · Updated 2026-02-08 12:40:46 +00:00    crytic

66
2

f1171c725d · fix: address SSA issue with storage pointers w/ early returns · Updated 2026-01-31 18:45:49 +00:00    crytic

66
2

b5512c7630 · Add AI triaging · Updated 2026-01-22 00:39:40 +00:00    crytic

110
1

2f64dc4ad1 · fix: add cache invalidation for functions/modifiers, remove unsafe caching · Updated 2026-01-19 18:06:47 +00:00    crytic

134
2

34381b2041 · perf: cache filtered *_declared/*_inherited properties · Updated 2026-01-19 05:28:39 +00:00    crytic

134
1

061bb090c7 · perf: cache functions_and_modifiers property · Updated 2026-01-19 05:28:20 +00:00    crytic

134
1

da82277d35 · perf: use derived_contracts for faster implementation lookup · Updated 2026-01-19 05:27:08 +00:00    crytic

134
1

c667a79378 · fix: use functions_declared to avoid duplicate external call entries · Updated 2026-01-16 15:47:46 +00:00    crytic

145
8

623d90ab8a · docs: clarify exported_symbols list semantics · Updated 2026-01-16 15:36:21 +00:00    crytic

145
5

cc1fd6c20d · Merge master into features/typer · Updated 2026-01-16 07:48:27 +00:00    crytic

146
23

b5af9d98e9 · Merge branch 'master' into test-printers · Updated 2026-01-16 07:29:55 +00:00    crytic

146
10

7a96e236cd · Merge branch 'master' into features/filtering · Updated 2026-01-16 07:27:13 +00:00    crytic

146
6

e17adca38b · Merge branch 'master' into features/exclude-location · Updated 2026-01-16 07:24:33 +00:00    crytic

146
8

50cba733d8 · Merge branch 'master' into dev-cfg-rename · Updated 2026-01-16 07:21:18 +00:00    crytic

146
4