Astroguard

Code auditing and profiling tool based on gcc for C programs to adhere to NASA's JPL Rule of 10