package documentation
The control-flow graph(CFG) is an essential component in static flow analysis with applications such as program optimization and taint analysis. scalpel.cfg module is used to construct the control flow graph for given python programs. The basic unit in the CFG, Block, contains a list of sequential statements that can be executed in a program without any control jumps. The Blocks are linked by Link objects, which represent control flow jumps between two blocks and contain the jump conditions in the form of an expression. Please see the example diagram a control flow graph 
| Module | builder |
This implementation provides interface to build CFG(Control Flow Graph) of python files using AST (Abstract Syntax Tree). The CFGBuilder class works by walking through an AST and creating a new block for each statement... |
| Module | model |
The module provides interface for CFG Class, which is a control flow graph (CFG) representation of a Python function or module. It is a directed graph with basic blocks as nodes and control flow jumps as edges... |