diff options
author | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-25 19:19:48 -0400 |
---|---|---|
committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-10-25 19:19:48 -0400 |
commit | 8c3cd18a05d15f3c9b13ec87250decd318665f0e (patch) | |
tree | 62780a330fa26a9d56b044bc6809f1c6ef8ac347 /org.eclipse.cdt.codan.extension/build.properties | |
parent | 306422deda74c5a120771f42e70422f77efcd640 (diff) | |
download | codan-8c3cd18a05d15f3c9b13ec87250decd318665f0e.tar.gz codan-8c3cd18a05d15f3c9b13ec87250decd318665f0e.tar.xz codan-8c3cd18a05d15f3c9b13ec87250decd318665f0e.zip |
PSA working for simple variable assignments and conditionals. PropSim implemented, but needs proper join op.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: Store/bind truth assignments.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionStateClause.java: Use IVariable as atom.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: Modified for truth assignments.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/VariableAssignmentVisitor.java: Determine truth value from assignment statement.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/CloseOpenedFilesChecker.java: Analyze every function;
parse conditional expressions and determine feasible branches; PropSim grouping method (not used ATM).
Diffstat (limited to 'org.eclipse.cdt.codan.extension/build.properties')
0 files changed, 0 insertions, 0 deletions