search

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26 stars 10 forks source link

Kernel specialization vagrant scripts #19

Closed MuhammadAbuBakar95 closed 6 years ago