Issues

• Add Assembly (Yul) Support

  calltrace/traverse#15 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Add Support for @inheritdoc NatSpec Tag

  calltrace/traverse#14 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Storage Symmetry Pattern Detection

  calltrace/traverse#13 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Arithmetic Overflow Detection in Mathematical Operations

  calltrace/traverse#12 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Redundant Non-Negative Checks for Unsigned Integers

  calltrace/traverse#11 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Division by Zero and Denominator Taint Detection

  calltrace/traverse#10 · Filter by author gbrigandi opened on Sep 12, 2025
  

• EIP-7201 Namespaced Storage Slot Resolution and Verification

  calltrace/traverse#9 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Import Solidity Projects from Hardhat

  calltrace/traverse#8 · Filter by author gbrigandi opened on Sep 12, 2025
  

• State Update Difference Detection

  calltrace/traverse#7 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Vault/Asset Identifier Mismatch Detection

  calltrace/traverse#6 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Boolean Truth Tables for Compound Statements

  calltrace/traverse#5 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Filter for one or more entrypoint

  calltrace/traverse#4 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Differentiate internal vs external library functions

  calltrace/traverse#3 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Differentiate constant and immutable reads from storage reads in call graphs and sequence diagrams

  calltrace/traverse#2 · Filter by author gbrigandi opened on Sep 12, 2025
  

• Implement automated release workflow

  calltrace/traverse#1 · Filter by author gbrigandi opened on Sep 12, 2025