100644 blob a477da563f5d34f7ea3568b9933977a134bf0dfe	ChangeLog
100644 blob 467c9bdd7340f46814a810c3c1a99f04d3ee2200	access-diagram.cc
100644 blob c124e80ac2ead1c510fffa11e600fd38c4e1de08	access-diagram.h
100644 blob 3a91b182f70501a9b23a260058675bcb6ae375b3	analysis-plan.cc
100644 blob 4e4aa794fc9fd106fe01190aecbb819561cc4559	analysis-plan.h
100644 blob 2c8910906eeb84c2021c94a20e3a3b1b5fc53c56	analyzer-language.cc
100644 blob 00f85aba041902c3eda0304398955f75329335f4	analyzer-language.h
100644 blob b78481c4098b0a9ee52d44f967e491a3491377b2	analyzer-logging.cc
100644 blob 8801662b70ad8559d2cee4dcb9276775302743f6	analyzer-logging.h
100644 blob 02e5c754d834346a4a5647e4511520d0afa86d42	analyzer-pass.cc
100644 blob 63b8cdfa13693973d4d58bcd7541b7b3bbbe9aaa	analyzer-selftests.cc
100644 blob d848ed9bc94124d07e2b8822d47bb35c7345939f	analyzer-selftests.h
100644 blob 5091fb7a5831475e19a00f7c6a4f0b3dd618656f	analyzer.cc
100644 blob 579517c23e61deb2b28dce8f797a74d563c3e66e	analyzer.h
100644 blob 2760aaa81517b63719fb77eb3eccd095cea92495	analyzer.opt
100644 blob 138c0fd573f622865baaf029adffc3388e5db2fa	bar-chart.cc
100644 blob 44a4a4777a06e3cd92b57e38cad15be42cfea24e	bar-chart.h
100644 blob 5e8de9a7aa5c80aafcefc4cd7d62b991f847e50c	bounds-checking.cc
100644 blob 17edaf26276fed755ecfe62fe12ef8006011193a	call-details.cc
100644 blob 14a206ff5d67d924ae8266af3718e5bd1a05c878	call-details.h
100644 blob fab2250c361dc3b6831b12bc93a5893b6e91a382	call-info.cc
100644 blob 4dc6486cfe57689c3fd7cfc3b61155385eaa1e63	call-info.h
100644 blob 524c34db49e2ceb9fa125b037ddf9c25399a59db	call-string.cc
100644 blob ee55a72229cb16401d2d986afb2786a7f8d8ac27	call-string.h
100644 blob a18a1b1b40a7a5e769fff9881ee81918e5e18525	call-summary.cc
100644 blob 73f21ac72826cf8db0d7a30c3729fcc00ab73390	call-summary.h
100644 blob 3612df7bd1d36914cf5f00a0c0e3f87a503a5290	checker-event.cc
100644 blob 5dd25cb0775e62222d485cf5f573827b418ca72c	checker-event.h
100644 blob 4f201714f118088e768ec736c8ef0347c87b400a	checker-path.cc
100644 blob 627f64e532062675807006a35d675b15e2ccdfdc	checker-path.h
100644 blob 377ffcbed6cfb2ffdc5a8230ea5d79647381e588	complexity.cc
100644 blob 6fffff434cef94248e25f57f217cc3e01690042f	complexity.h
100644 blob 9211366fb7c42f3bba8ddfc63ff1000600ff6467	constraint-manager.cc
100644 blob 72753e43c96738fad0901add89b84c29fd2ee763	constraint-manager.h
100644 blob cfca305d55282ad90314ab7d6d5b1454e7070b4a	diagnostic-manager.cc
100644 blob 9b3e903fc5d91fdb7e0d6c522d9f47189335aab3	diagnostic-manager.h
100644 blob 61685f43fba0761cb228fc9c55798e101120d2f4	engine.cc
100644 blob 9cbf86387fa7c6815c3300b7e3c05e1575beff85	engine.h
100644 blob 4a4ef9d12b486326c0a7154fa13f493746049d9d	exploded-graph.h
100644 blob d6ff1a3694ae60259add019bb69e8fdfac54c03b	feasible-graph.cc
100644 blob 0da7265979beb4b3b6610c82ed524175a7e8316d	feasible-graph.h
100644 blob 9704b653e1b55c76cc91cdc82575343b9509ce2f	function-set.cc
100644 blob b39e9b9383cb91ea01b8038a6fa6ed6fac599956	function-set.h
100644 blob 3ba316ee964fc482b53a8d04a8db8d17a1093e65	infinite-recursion.cc
100644 blob 7d4798ce6ea532ddba58aea56d73892cf9f5831a	inlining-iterator.h
100644 blob 5aed007d6eadbd36a870b2ce37199d7df009913c	kf-analyzer.cc
100644 blob 393b4f25e79336d25fc65e23a3a15578e64cb1fa	kf-lang-cp.cc
100644 blob 3e319a076bbda2a705ac7d170338c2221b6db7bf	kf.cc
100644 blob 4a2cf52d0b873f891581c52a7ffe04d2fc7f5bde	known-function-manager.cc
100644 blob 4a76136f25949b13f57cb709b45dd482ce296ad4	known-function-manager.h
100644 blob e36ed4fd9c1f9ea96f4c42811b252b99cb99f9ed	pending-diagnostic.cc
100644 blob 7582b37efe79a27ac5324bd575d4e6b88067f7fc	pending-diagnostic.h
100644 blob f2d6490f0c04407775d488a0e7752e3f35738f8c	program-point.cc
100644 blob 7df3b69c513502d747d5dcca6472f925cb263a7c	program-point.h
100644 blob 8dade4b5b3e01ee2a45e7943172a3d7674da4422	program-state.cc
100644 blob c9b3aa0cbfceb973acf32505dd9e2fa025687598	program-state.h
100644 blob 243305123e7df1116f1360191c2ea5720eb65f74	reachability.h
100644 blob 19ce284498880603b36e37b510e9a950ec307f56	region-model-asm.cc
100644 blob 1453acf7bc940bf06028592374e12ac8bddb2f96	region-model-manager.cc
100644 blob 3340c3ebd1e667aab378f3efcffdf8ffc316e83f	region-model-manager.h
100644 blob a5c12f4934603c55ec22a933d2cb5625524a22bc	region-model-reachability.cc
100644 blob 28f52f71a4ab7a4cb84f524751ea70b263624f28	region-model-reachability.h
100644 blob 6bc60f89f3d6d695b9037366ad9e71d7382dd7a1	region-model.cc
100644 blob d6d9615490c85529ff374b59aa8f0384eaec0caf	region-model.h
100644 blob 62ae0b2342d250c4f09f76d6ed9b534587290b34	region.cc
100644 blob 0c79490c9c0d56a70e71cb42c58c98697be9e70c	region.h
100644 blob 03ad3598a3cd30ef28effbbcfc89c9000437b60e	sm-fd.cc
100644 blob c07fd3b72bbe2755bd370f04f04791a6d7b58713	sm-fd.dot
100644 blob 0cfe68217229237b0cd509b40dda911f2607a115	sm-file.cc
100644 blob 92436cd5226ba13743fc699cff5237e4d2e3b4ea	sm-file.dot
100644 blob a8c63eb1ce88a8c1bd7709ecdcf604c3af80d897	sm-malloc.cc
100644 blob 53ca54896ec3a70ff8d36a66cd21a264de2c3c7b	sm-malloc.dot
100644 blob 4c88bcaeb2b353c8adbed8e2b9ae53a2de5104d9	sm-pattern-test.cc
100644 blob 0597e390b3bb7a6c98812beef7ace4626a21055e	sm-sensitive.cc
100644 blob e3f90921df981e2af766f3be1b68149a93d47315	sm-signal.cc
100644 blob 6d28d1f6f6541c5908866137a62e973521f2768b	sm-taint.cc
100644 blob 2b88430c0129dfe7436f382d2d12d82477456657	sm.cc
100644 blob 3ff9c26078078c419f3a180dcb693765ef30dd3e	sm.h
100644 blob 3a73146d928b1ab775934e91842b102367747dd8	state-purge.cc
100644 blob 661983434c864af3f697d91ac42806b2726d1e1a	state-purge.h
100644 blob c7bc4b40f87c8ee41befb4856732226de2e0410d	store.cc
100644 blob af6cc7ed03c7a13f1db4c2b8c05bbcb8f92cac0e	store.h
100644 blob a23ff15ece455c2caf95188637b412bc9612e1bd	supergraph.cc
100644 blob f8b36d789dc93990f9951ab58e7df3c9a996c8eb	supergraph.h
100644 blob 1444274ad7acb634d67ce7b2e7ec613d5cf36062	svalue.cc
100644 blob c8c3258d6bcafb7eebe1b14a0c12f5dd94a02331	svalue.h
100644 blob 3e7a0ca5d3cda0a95bd6f96bcbb031ac9d5bfbfa	trimmed-graph.cc
100644 blob d1c1a00fe991759753b1bb8c424891b9fd2e7ed4	trimmed-graph.h
100644 blob 72e1b31601cd1a05cbd56665ec35a10a17dfecac	varargs.cc
100644 blob 4b6048ff80bac5de5e32d67314cfcb8882d0b9b7	varargs.dot