#include "ASTVisitor.h"#include "CubicSolver.h"#include "SymbolTable.h"#include "treetypes/AST.h"#include <stack>
Include dependency graph for CFAnalyzer.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | CFAnalyzer |
| Performs control flow analyses with the help of AST and Symbol table of a program Provides helper functions to support call graph generation, Overrides several ASTVisitor's methods that visit ASTFunction, ASTFunAppExpr, and ASTAssignStmt nodes to generate constraints Generated constraints are solved by the cubic solver. More... | |
