100644 blob 9ab6169da2179be8eb15960de0045e012ff5312b	ChangeLog
100644 blob c488f372ea7f6b092390882aeb3f8d43e5269ee4	analysis-plan.cc
100644 blob 04621599865b957d774c627d48d93520f4891a4b	analysis-plan.h
100644 blob 21a7e1bc7316b7cf66da73c0b62628db643c909e	analyzer-logging.cc
100644 blob ef14b29a9d7a0e28b31bcc9af2e2d68f761b1369	analyzer-logging.h
100644 blob 0bf131bb40a5ba65653d70f3d0001587293315f4	analyzer-pass.cc
100644 blob 3765e70e4c3572f5582d40f3c73f126b162dbafd	analyzer-selftests.cc
100644 blob 4292c98547e8aeac7ac57b74ceebf853c2f063ec	analyzer-selftests.h
100644 blob 2c63a539fcbb4b540f7ea2d23f18fd162d94b04c	analyzer.cc
100644 blob 39934a302cb5093070d48b8a7b5f2f8c5856c831	analyzer.h
100644 blob a0ba2c94fb3f49a74999ee87802d8813d0364398	analyzer.opt
100644 blob ce812889fadc5a4a5658674a8a3d57c64abab785	bar-chart.cc
100644 blob 4ca418a8acaf738bbe59490d7f90bc40c4e8c9a4	bar-chart.h
100644 blob 2d3fe0a790b4a19181042086a09e1e644f03c988	call-info.cc
100644 blob bdcfff79571a99aaaa1d1bbd718f7b38ccfc033e	call-info.h
100644 blob df55e03d5915f77df94c66cd806c71d4ab27105e	call-string.cc
100644 blob 87d04a1c4cc06763bbc328932966009f201013f4	call-string.h
100644 blob 779ff80de7ccd470847bb08175cc0270cdf0924a	checker-path.cc
100644 blob d37c99989b5898c4a979771cc07a7d4c883a7c99	checker-path.h
100644 blob 40ae8f7bcfcac7026a3145b0ce5e56b78d00c57b	complexity.cc
100644 blob 387f92a7183b32b3b43ee0adad069960d8035492	complexity.h
100644 blob 9c8c60429f4af447d9b8a891c3762d3d2355e80c	constraint-manager.cc
100644 blob f67c764749742b629f6dff0fdf9f072b1c59db4a	constraint-manager.h
100644 blob bf7c8fc5147ca82f384a6a538fdd3ff29fc58e82	diagnostic-manager.cc
100644 blob fc5dc043c78b2197e9e13ce78f1e0fbae81acf18	diagnostic-manager.h
100644 blob d8b61955aa64a16e3be4b811da36bfd21a8181f0	engine.cc
100644 blob c74ab9307dc62c64496ba50c57faa4677869e4ad	engine.h
100644 blob af0ab8d42c82182fe94017cea33f4f5ab03193ec	exploded-graph.h
100644 blob 0ac8484a7e431052e4ccb36df2b9ea99ee9bc61a	feasible-graph.cc
100644 blob d10a28d4f902ccf9af513514a34395d8e63e6b5b	feasible-graph.h
100644 blob 8d9237deb63bd326af6020724c41a66d824447e2	function-set.cc
100644 blob 4985f3660db8ddc2c723818edfc6dd366f854050	function-set.h
100644 blob 5e0ea4c31ac8be5a423fff0b59821bafa4a4cf1f	pending-diagnostic.cc
100644 blob 51039ea1ba562b4dff5cb5a2afe511e9cd090588	pending-diagnostic.h
100644 blob 61cea8a10768221d3c450765291b1d3820af1bf2	program-point.cc
100644 blob 4b1c733d7106f62552e0387fbf62c02e06fa42d0	program-point.h
100644 blob 7ad581c7fbd83c30d8a2a31a340a51d81123f1a4	program-state.cc
100644 blob baab7874c261b88bbc361158438e699acd0bb14e	program-state.h
100644 blob 74c5f63c973ff43c33c65a1741a97cb061aa64ac	reachability.h
100644 blob bb73e6eed60eece94855715756e15e578827bb2c	region-model-asm.cc
100644 blob 621e7002ffb38e3ae3f7fb6bf8b3374793c30fc4	region-model-impl-calls.cc
100644 blob 4ec275ecd431117ff4233b901e97b41f2d8f56c1	region-model-manager.cc
100644 blob 12d09c3e500de2f3062a55384e2c3ea090fc72c8	region-model-reachability.cc
100644 blob 820edf347e623eb218be3cf110cbf38e8784cb11	region-model-reachability.h
100644 blob 816b4100f3a2f045b300ef5214bc7b63b64e393b	region-model.cc
100644 blob eff3d4930f9b123a62a9eb4356307803f5ba05a0	region-model.h
100644 blob 1a7949b3f097b86498ce23f9a2ceb5af833fa45d	region.cc
100644 blob 5150be76d0ba09878deb40c161e5ef797e8f508d	region.h
100644 blob ffc2809dc57c217ae4c36200b1a1ea7a05785915	sm-file.cc
100644 blob 4c030803e59819ad0fc01bb123dd2a98e7c06d6c	sm-malloc.cc
100644 blob c8f4f9c06ba75d6ef16bad77e58166572575f186	sm-malloc.dot
100644 blob 68b976aeb45e2cba752b112809c8f40b11bab758	sm-pattern-test.cc
100644 blob f40f3e8eb2ff74e6a5613c60b469c40aea2b5ab8	sm-sensitive.cc
100644 blob 77044e10805d08b62e6760e9167410882b246577	sm-signal.cc
100644 blob 17669ae768562aa02a962499b393c64364ffc272	sm-taint.cc
100644 blob 515f86da86a0a355671d6b8c09e0835b40b02895	sm.cc
100644 blob 7ce1c73e217aa727da9b72b1c83aea59c886abca	sm.h
100644 blob 7a061a194808d4b3d18ef64e48b15f632c3c355a	state-purge.cc
100644 blob 3c51b481239935f77bd54362fb3d5ced8a354d5d	state-purge.h
100644 blob 35f66a4b6fcf83fd0000e0f76f3ca3242ef289ba	store.cc
100644 blob 17485b783b8cb545aba183899bcfbd004bb447d3	store.h
100644 blob 466f924518171650422c4d5007c0ad013dbfb05b	supergraph.cc
100644 blob 235de7902ac6dcce6ada76cd5a7ce67986e521dd	supergraph.h
100644 blob ed289c6fc317c2806b7a8640086e12f57f5b1c5e	svalue.cc
100644 blob 29ea2ee64085f9991692d369fad2adca0c7ad1d7	svalue.h
100644 blob 6c85910c5f21556484d13151582c6d44e1c4926e	trimmed-graph.cc
100644 blob 0b788439e04e3e21639fefe6277640df579dd5a4	trimmed-graph.h