Python Predictive Analysis for Bug Detection

In this section, we use a simpli ed problematic Python pro-gram to motivate our approach. Fig. 1 shows the code snippet simpli ed from the very popu-lar Python HTTP library requests. The test driver function test_post() invokes the function post at line 276 and checks its return value at line 277. The input parameter data can be a dictionary. ................
................