I'm a student who got a lecture about testing C language, I found this tool is useful but I don't know what is the way this tool running so I can present to the teacher :( is it use control flow testing/analyzing method? please help me find out
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I'm a student who got a lecture about testing C language, I found this tool is useful but I don't know what is the way this tool running so I can present to the teacher :( is it use control flow testing/analyzing method? please help me find out
flow sensitive. both forward and backward. we choose precision over soundness.