All issues

Add contains in table security check

#17

· jgcrosta opened

on Jul 16, 2025

Add nested if simplification

#16

· jgcrosta opened

on Jul 10, 2025

Find unnecessary casts (x as u64 when x is already u64)

#13

· jgcrosta opened

on Jun 30, 2025

Add "Check known to abort (at compile time) cases" documentation

#11

· matiascabello opened

on Jun 9, 2025

Add "cases of assert!(true) or assert!(false)" documentation

#10

· matiascabello opened

on Jun 9, 2025

Add "find code patterns that resemble c-style underflow/overflow checks" documentation

#9

· matiascabello opened

on Jun 9, 2025

Add "find needlessly complex boolean operations" documentation

#8

· matiascabello opened

on Jun 9, 2025

Issues assessment documentation

#7

· matiascabello opened

on May 27, 2025

Find code patterns that resemble C-style underflow/overflow checks: if (a + b < a) { ... }

#6

· matiascabello opened

on May 26, 2025

Find needlessly complex boolean expressions that can be simplified

#5

· matiascabello opened

on May 26, 2025

Identify various side-effect free statements that can be removed

#4

· matiascabello opened

on May 26, 2025

Find cases when same (pure) operands are used for the binary operations: ==, >, >=, <, <=, !=, &&, ||, &, |, ^, `%`, /.

#3

· matiascabello opened

on May 26, 2025