Free

Semantic matches

• A semantic match finding calls to kfree that precede a reference
• A note-finding semantic match that finds calls to kfree
• A semantic match finding functions that indirectly call kfree
. This includes the following semantic match. It is iterated using a script.
• A semantic match finding calls to the above functions that precede a reference.
• A note-finding semantic match finding calls to the above functions.

Results for the case of a use after kfree

• Linux 2.4: Results, Correlation information
• Linux 2.6: Results, Correlation information

Results for the case of a use after a function that directly or indirectly calls kfree

• Linux 2.4: Results, Correlation information
• Linux 2.6: Results, Correlation information
• List of functions considered for Linux 2.6.33