pattern_check.cpp File Reference

Implementation of pattern-based vulnerability detection. More...

#include <solidity-frontend/pattern_check.h>
#include <util/message/message.h>
#include <stdlib.h>

Include dependency graph for pattern_check.cpp:

Detailed Description

Implementation of pattern-based vulnerability detection.

Walks the solc JSON AST to detect authorization through tx.origin (SWC-115) — a syntactic anti-pattern identifiable without symbolic execution. Further patterns are not yet implemented.