100755 blob 30cb1617cf00147216eb27275141d860b86de6a6	AffineExpressions.h
100755 blob af14052ff805554b84c48c25e8df552cf50028a9	BottomUpCallGraph.h
100755 blob e1986018e0653fd82dee1a5e96d15cd524d6292f	ConstraintGeneration.h
100755 blob 6763a9030f42d744abaf3ab9123794f38dfc080b	ConvertUnsafeAllocas.h
100755 blob 8c0413a63b659675cafade2adbba6bcb9621495c	SCUtils.h
100755 blob 66ed18ed96e12f2e02fc77b8d6276cb17a0c457d	SafeDynMemAlloc.h
100755 blob 9d9ac6499fe88baa4a876d38ffbc84ff95a8335e	StackSafety.h
100755 blob 46d03d080ce9c1a1c93a02be34019f7576ec139d	UninitPointer.h
100755 blob 19676431816cf2262c816f28759f03518dac7fe9	omega.h
040000 tree 073d417a363dc346ca47fb80605c513fbff95fce	safecode
040000 tree e171e515daa9d6c1ee55ae3f0158c5022e8f4add	utils