Static Analysis On Linux