Hi, all,<br><br>I am a new comer of Splint.<br><br>I want to know whether Splint can slove my problems.<br><br>I want to do some static analysis such data flow analysis for C source code and then modify the code by changing and appending some statements into the original one.<br>
<br>What procedure should I follow?<br><br>Thanks!<br><br>Best wishes, <br><br>Zhang Yu<br>