Project

Schaalbare statische analyses voor het automatisch vinden van kwetsbaarheden in code