Automatically analyzing system source code