Securibench Micro is a series of small test cases designed to excercise different parts of a static security analyzer