100644 blob cab2746569b9bf7b703195ed743e3403aba12767	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 678441788333e4f759df2f09ec2a31e1a23edad8	analyzer.cc
100644 blob 7e58bcd5d704582862f6d3221085af4ec36200fe	analyzer.h
100644 blob d20ac5c34ee7ada300d0bfd3c0ee5b572b5b63c5	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 ac1e4feaee50747b66e9561f63873a0af5838cf2	constraint-manager.cc
100644 blob f67c764749742b629f6dff0fdf9f072b1c59db4a	constraint-manager.h
100644 blob 80bca6a073821d5b48337375ca680d873cb2a3c3	diagnostic-manager.cc
100644 blob cfc0d86a871bdf713dcbb6332da6daff75db66d5	diagnostic-manager.h
100644 blob bff37798a392d4bfb487b50ee255b31fe57c6afc	engine.cc
100644 blob c74ab9307dc62c64496ba50c57faa4677869e4ad	engine.h
100644 blob 1f52725dc989b38aa3212488aaeff9373a243e49	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 5a407c8286947992fe60cfb4601c4043dff81f86	pending-diagnostic.h
100644 blob 5318dce1490e6a2ba81ae8625fc75b8461f7ffec	program-point.cc
100644 blob d710ce770f055aa4502d386301fdbee3d231cf6c	program-point.h
100644 blob 7501103fa2b76262eabec5105c412b8d48525464	program-state.cc
100644 blob a39fce209cc24469ee4f582ff5f4231fe3586c54	program-state.h
100644 blob 74c5f63c973ff43c33c65a1741a97cb061aa64ac	reachability.h
100644 blob 3bf2a02432c5fb0421395baa46f8a2d56d387a42	region-model-asm.cc
100644 blob 95d9921c61d4efe386c5605437102eadc84d244c	region-model-impl-calls.cc
100644 blob 917af22c4f51d666669e174b5a1d8e0b5c40bf40	region-model-manager.cc
100644 blob b876b8f036383ba1e4976b16dab558ff132ad18c	region-model-reachability.cc
100644 blob 820edf347e623eb218be3cf110cbf38e8784cb11	region-model-reachability.h
100644 blob 69e8fa7d1e39b9dd9da75023ca2cd995209aa987	region-model.cc
100644 blob c2c89a20d50418f330d394d5eb0857209d4f5322	region-model.h
100644 blob 5ac24fb9f9be6925966d8321f84bafd9572f1a28	region.cc
100644 blob 2f987e49fa818808931eee46ac00761b8aff3d46	region.h
100644 blob 1c996f946f6c4a43066a02d62c5415035be73304	sm-file.cc
100644 blob 2f7a387ca8a13eeffc4ca10d77693593304a2c1e	sm-malloc.cc
100644 blob c8f4f9c06ba75d6ef16bad77e58166572575f186	sm-malloc.dot
100644 blob 57b346bd410e63ae2fa3eb16549bc32193ffb52d	sm-pattern-test.cc
100644 blob 1720d8d01358c46622338497c3edaac21583870f	sm-sensitive.cc
100644 blob 8d3e5ff07b173b40927130d4b09ff44f50f41927	sm-signal.cc
100644 blob 57a0ac684ab09cf8a6b8228913cb7b75bbaaab16	sm-taint.cc
100644 blob 515f86da86a0a355671d6b8c09e0835b40b02895	sm.cc
100644 blob fccfc882bf15b0014536b9711e06d90e76d3c0d1	sm.h
100644 blob e99c9cb593ec23a585f64f3b35b6311443c34b50	state-purge.cc
100644 blob c917b093026edc9dca0ebb5dfec4c67cc499e4a3	state-purge.h
100644 blob ade6dec624d3bd4f417c345090934149c2bf73e1	store.cc
100644 blob ee084dd81f33780b25df97b8ba8d45ab86c74bdf	store.h
100644 blob 466f924518171650422c4d5007c0ad013dbfb05b	supergraph.cc
100644 blob 235de7902ac6dcce6ada76cd5a7ce67986e521dd	supergraph.h
100644 blob c06ec9b6dc36b7c9f32f0154db101b8906fba9b7	svalue.cc
100644 blob 45cd0fc3ddabbcc05e125a8c04216865d261029f	svalue.h
100644 blob 6c85910c5f21556484d13151582c6d44e1c4926e	trimmed-graph.cc
100644 blob 0b788439e04e3e21639fefe6277640df579dd5a4	trimmed-graph.h