{"library":"frama-c-base","type":"cli","category":null,"description":"Platform for static analysis of C source code, providing a CLI for code verification and analysis.","language":"ocaml","status":"active","version":"20220511","tags":[],"last_verified":null,"install":[{"cmd":"apt install frama-c-base","imports":[]}],"homepage":"https://frama-c.com","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}