diff options
| author | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-05 20:48:19 -0400 |
|---|---|---|
| committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-05 20:48:19 -0400 |
| commit | 18360ea0c9cd1fce259ba7cf6824b48736334c4f (patch) | |
| tree | 127e36727f77f520bc8d443595c91d639bf57dea /org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionStateClause.java | |
| parent | e35f5131df28786841f5e09d9982b912bd3469d0 (diff) | |
| download | codan-18360ea0c9cd1fce259ba7cf6824b48736334c4f.tar.gz codan-18360ea0c9cd1fce259ba7cf6824b48736334c4f.tar.xz codan-18360ea0c9cd1fce259ba7cf6824b48736334c4f.zip | |
Initial implementation of intra-procedural property simulation.
* org.eclipse.cdt.codan.extension/plugin.xml: Moved checker to new package.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java: Moved.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/PropertyState.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/FunctionNameParser.java: New file.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/IBlock.java: Added edge support.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/IControlFlowEdge.java: Store CFG edges.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/IControlFlowGraph.java: Added getEdges.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/impl/Block.java: Store CFG edges.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/impl/ControlFlowEdge.java: New file.
* org.eclipse.ptp.pldt.mpi.analysis.cdt/src/org/eclipse/ptp/pldt/mpi/analysis/cdt/graphs/impl/ControlFlowGraph.java: Compute CFG edges.
Diffstat (limited to 'org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionStateClause.java')
0 files changed, 0 insertions, 0 deletions