Static Analysis For Security