Skip to content

Latest commit

 

History

History
executable file
·
4 lines (3 loc) · 313 Bytes

README.md

File metadata and controls

executable file
·
4 lines (3 loc) · 313 Bytes

Loop Model

A toolbox for Analyzing Linux code, specifically to classify loops from security perspective in Linux. As a result, the loops in the software can been categorized based on the lock/unlock and memory allocation/deallocation behavior. Currently it supports only for the software written in C and Java