Mosca : Manual Search Tool To Find Bugs Like A Grep Unix Command

Mosca is a manual analysis tool to find bugs like a grep unix command and since it is not dynamic…