Is there any way to make an absolute execution flow of all programs so that it may not effect on output. For example if there two conditional statement used in computer programs so that it may give four execution flow statically bit dynamically only one. So I want to know that is there any way to make absolute execution flow in static analysis of program. Or any way to make general execution flow of programs in a way where the output of programs may not affect.
Wikipedia has an acceptable overview of static program analysis at
http://en.wikipedia.org/wiki/Static_program_analysis
which may give you the English magic words to clarify your question. There is also an Urdu Wikipedia at
ur.wikipedia.org
I dont know what is the language your using but take a look at petri nets and richability graphs they might be used for checking the oerational semantics or for data flow analysis
here is a nice paper on Petri Nets and their properties:
http://www.cs.unc.edu/~montek/teaching/spring-04/murata-petrinets.pdf
- Badges
- Science topic
- Similar topics
- Mathematical Sciences
- Graphs