Issues

• Consider adding explicit outside world nodes to interproc CFG

  ConsenSysDiligence/sol-datalog#47 · Filter by author d1m0 opened on May 8, 2025
  

• The additionalRecursiveReturn is imprecise

  ConsenSysDiligence/sol-datalog#46 · Filter by author d1m0 opened on May 8, 2025

• CallListNode Modifier definition hacky

  ConsenSysDiligence/sol-datalog#45 · Filter by author d1m0 opened on May 1, 2025

• Remove the present argument from optional relations

  ConsenSysDiligence/sol-datalog#43 · Filter by author cd1m0 opened on Mar 19, 2025

• Investigate change in fcall test

  ConsenSysDiligence/sol-datalog#28 · Filter by author cd1m0 opened on Feb 28, 2024
  

• Test coverage dropped slightly

  ConsenSysDiligence/sol-datalog#18 · Filter by author cd1m0 opened on Dec 18, 2023
  1

  

• Dominator analysis needs more testing

  ConsenSysDiligence/sol-datalog#10 · Filter by author cd1m0 opened on Nov 20, 2023