Bug detection inspired by the netif example
Protocol-finding semantic match
The semantic match
The detected functions
Makefile
Bug-finding semantic matches
Find bugs related to calls to functions that may free their argument:
semantic match
,
results
Find bugs related to calls to functions that are guaranteed to free their argument:
semantic match
,
results