Research Project 4: Extract Hidden Program Rules

There are many implicit programming rules in a large software– some are simple and some are complex. For example, the function call pair of lock and unlock is a simple programming rule. A complex rule can involve a list of function call and system call sequence. Prior works have used static and dynamic analysis techniques to extract implicit programming rules, but none compares the effectiveness of the two techniques. We have undertaken an empirical study to compare the two techniques when they are being used for extracting programming rules.