This repo contains several scripts that can be used to run several static analysis tools over the ITC-Toyota benchmark.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool