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/plugin.xml | |
| 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/plugin.xml')
| -rw-r--r-- | org.eclipse.cdt.codan.extension/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.cdt.codan.extension/plugin.xml b/org.eclipse.cdt.codan.extension/plugin.xml index f0ae36c..829c8fd 100644 --- a/org.eclipse.cdt.codan.extension/plugin.xml +++ b/org.eclipse.cdt.codan.extension/plugin.xml @@ -4,7 +4,7 @@ <extension point="org.eclipse.cdt.codan.core.checkers"> <checker - class="org.eclipse.cdt.codan.extension.CloseOpenedFilesChecker" + class="org.eclipse.cdt.codan.extension.checkers.CloseOpenedFilesChecker" id="org.eclipse.cdt.codan.extension.CloseOpenedFilesChecker" name="Closing unopened file"> <problem |