Allocation and deallocation functions

Protocol-finding semantic match

• The semantic match
• Isomorphism file likely.iso
• The detected allocation and deallocation functions
• False positives
• Makefile

Bug-finding semantic matches

• The semantic match
• The results