DFA Analysis: Weak Analysis introduced Introduced `weak(...)` relations to…
8f62df86338b
Actions

Authored by pgess on Nov 29 2017, 8:22 PM.

Description

DFA Analysis: Weak Analysis introduced Introduced weak(...) relations to support Weak analysis. Added shint(Symb, Hint) predicate to indicate symbol hints. CALL, IF, SWITCH, SWITCH VARIANT produce weak relations.

Tests: Communication.analysis_Weak1, Communication.full_Weak1

Details

Committed

pgess

Nov 29 2017, 8:22 PM

Parents

rXR1a3ee7ab4ddb: Bugfix: wrong code blocks while compiling `if ` statement

Branches

Unknown

Tags

Unknown

Event Timeline

pgess committed rXR8f62df86338b: DFA Analysis: Weak Analysis introduced Introduced `weak(...)` relations to… (authored by pgess).Nov 29 2017, 8:22 PM

Changes (13)

				Path
	M			.gitignore
	M			config/default.json
	M			cpp/src/analysis/dfagraph.cpp
	M			cpp/src/analysis/dfagraph.h
	M			cpp/src/pass/dfapass.cpp
	M			cpp/tests/communication.cpp
	M			scripts/dfa/polymorphism.lp
	M			scripts/dfa/propagation.lp
	M			scripts/effects-communication/communication.lp
	M			scripts/effects-communication/config.lp
	M			scripts/effects-communication/example1-wr.xreate
	P			scripts/effects-communication/example2-wr.xreate Copied to scripts/effects-communication/example3-wrwr.xreate
	P			scripts/effects-communication/example3-wrwr.xreate Copied from scripts/effects-communication/example2-wr.xreate