Summary
Run the analyzer against Fluxa Protocol (~16k LOC, PDA-heavy, Q64.64 math) to stress-test rules, performance, and accuracy.
Why it matters
Real-world, large codebases expose edge cases and performance bottlenecks not visible in small examples.
Proposed Approach
Execute analyzer against Fluxa.
Record:
• Runtime
• Findings by rule
• True/false positive counts
• Any slow AST paths