NameLast modifiedSizeDescription
Parent Directory  -  
0001-FIXME-prune.exp-emit-After-text.patch2019-03-11 18:40 742  
0002-FIXME-example-of-github-html.patch2019-03-11 18:41 639K 
0003-FIXME-GCC-10-Make-cgraph_node-get_fun-const.patch2019-03-11 18:41 1.2K 
0004-NEEDS-B-R-CHANGELOG-BLURB-GCC-10-STAGE-1-diagnostic-.patch2019-03-11 18:41 4.5K 
0005-NEEDS-B-R-CHANGELOG-BLURB-GCC-10-STAGE-1-diagnostic-.patch2019-03-11 18:41 1.7K 
0006-FIXME-WIP-on-emitting-URLs-PR-87488.patch2019-03-11 18:41 9.1K 
0007-FIXME-WIP-on-emitting-hyperlinks-to-docs-for-warning.patch2019-03-11 18:41 8.1K 
0008-FIXME-add-contrib-diagnostic-json-to-text.py.patch2019-03-11 18:41 3.6K 
0009-FIXME-add-contrib-diagnostic-json-to-html.py.patch2019-03-11 18:41 11K 
0010-FIXME-diagnostic-paths.patch2019-03-11 18:41 35K 
0011-FIXME-temporarily-hack-up-plugin-testing.patch2019-03-11 18:41 3.5K 
0012-FIXME-add-make-html.sh-and-various-demo-files-and-mo.patch2019-03-11 18:41 28K 
0013-FIXME-add-gcc-testsuite-gcc.dg-TODO-analyzer.patch2019-03-11 18:41 417K 
0014-FIXME-add-gcc-analyzer-dead-code.patch2019-03-11 18:41 80K 
0015-FIXME-add-gcc-testsuite-DEADCODE-analyzer.dg-not-use.patch2019-03-11 18:41 15K 
0016-FIXME-example-checkers.patch2019-03-11 18:41 20K 
0017-FIXME-implementation-of-checker-based-on-state-machi.patch2019-03-11 18:41 194K 
0018-FIXME-handle-equivalence-classes-in-state-transition.patch2019-03-11 18:41 6.3K 
0019-FIXME-zero-assignment.patch2019-03-11 18:41 3.1K 
0020-FIXME-initial-implementation-of-leak-detection.patch2019-03-11 18:41 15K 
0021-FIXME-make-html.sh-try-it-on-the-testsuite.patch2019-03-11 18:41 841  
0022-FIXME-tweak-to-top-level-logging.patch2019-03-11 18:41 1.1K 
0023-FIXME-start-adding-timing-code.patch2019-03-11 18:41 1.6K 
0024-FIXME-timevar.h-add-auto_client_timevar-class.patch2019-03-11 18:41 1.1K 
0025-FIXME-logging-tweak.patch2019-03-11 18:41 680  
0026-FIXME-better-locations-for-some-leaks.patch2019-03-11 18:41 3.6K 
0027-FIXME-more-test-coverage.patch2019-03-11 18:41 2.8K 
0028-FIXME-split-out-engine-add_blk_edges_to_cache.patch2019-03-11 18:41 3.3K 
0029-FIXME-fix-hash_traits-to-distinguish-deleted-from-em.patch2019-03-11 18:41 6.0K 
0030-FIXME-fix-In-function-announcement.patch2019-03-11 18:41 883  
0031-FIXME-don-t-complain-about-double-free-of-NULL.patch2019-03-11 18:41 2.0K 
0032-FIXME-more-test-coverage.patch2019-03-11 18:41 732  
0033-FIXME-start-adding-engine-selftests.patch2019-03-11 18:41 2.6K 
0034-FIXME-filter-state-machine-vars-on-type.patch2019-03-11 18:41 3.5K 
0035-FIXME-tweak-to-logging.patch2019-03-11 18:41 1.4K 
0036-FIXME-add-checker-name-to-.dot-filename.patch2019-03-11 18:41 937  
0037-FIXME-don-t-colorize-the-logs.patch2019-03-11 18:41 1.1K 
0038-FIXME-add-2nd-call-to-add_blk_edges_to_cache-disable.patch2019-03-11 18:41 928  
0039-FIXME-start-taint-example.patch2019-03-11 18:41 5.9K 
0040-FIXME-WIP-in-dynamic-generation-of-checkers-informat.patch2019-03-11 18:41 3.8K 
0041-FIXME-initial-WIP-of-taint_state_machine.patch2019-03-11 18:41 8.5K 
0042-FIXME-add-demo.c.patch2019-03-11 18:41 1.0K 
0043-FIXME-move-any_pointer_p.patch2019-03-11 18:41 1.2K 
0044-FIXME-taint_state_machine-on_edge.patch2019-03-11 18:41 2.3K 
0045-FIXME-taint-1.c-disable-the-non-working-code-for-now.patch2019-03-11 18:41 747  
0046-FIXME-more-work-on-interprocedural-analysis.patch2019-03-11 18:41 2.2K 
0047-FIXME-add-fanalyzer-checker.patch2019-03-11 18:41 1.3K 
0048-FIXME-better-names-for-.dot-files.patch2019-03-11 18:41 1.2K 
0049-FIXME-more-interprocedural.patch2019-03-11 18:41 24K 
0050-FIXME-start-adding-metadata.patch2019-03-11 18:41 30K 
0051-FIXME-purge-some-redundant-old-material.patch2019-03-11 18:41 1.2K 
0052-FIXME-emit-warnings-rather-than-errors.patch2019-03-11 18:41 20K 
0053-FIXME-fix-crash-on-function-pointers.patch2019-03-11 18:41 1.3K 
0054-FIXME-fix-crash-on-unused-params.patch2019-03-11 18:41 1.7K 
0055-FIXME-another-.dot-based-visualization.patch2019-03-11 18:41 3.7K 
0056-FIXME-capture-backtrace-in-engine_sm_context.patch2019-03-11 18:41 8.4K 
0057-FIXME-capture-edges-in-backtraces-also.patch2019-03-11 18:41 4.2K 
0058-FIXME-experiment-with-expanding-backtraces.patch2019-03-11 18:41 2.5K 
0059-FIXME-handle-calloc.patch2019-03-11 18:41 1.5K 
0060-FIXME-add-enum-supergraph_dot_flags-and-hide-BBs-by-.patch2019-03-11 18:41 6.5K 
0061-FIXME-add-another-path-test.patch2019-03-11 18:41 2.1K 
0062-FIXME-some-notes.patch2019-03-11 18:41 1.4K 
0063-FIXME-split-out-state-machines-into-hardcoded-state-.patch2019-03-11 18:41 31K 
0064-FIXME-implement-pending_diagnostic-objects.patch2019-03-11 18:41 12K 
0065-FIXME-reject-by-returning-in-warn_for_state.patch2019-03-11 18:41 3.1K 
0066-FIXME-defer-emission-of-diagnostics.patch2019-03-11 18:41 5.9K 
0067-FIXME-subclassing-diagnostic_path-and-events.patch2019-03-11 18:41 17K 
0068-FIXME-start-adding-debug-events-to-paths.patch2019-03-11 18:41 2.0K 
0069-FIXME-start-adding-event-subclasses.patch2019-03-11 18:41 6.6K 
0070-FIXME-start-adding-event-filtering.patch2019-03-11 18:41 4.0K 
0071-FIXME-create-but-then-prune-edge-events.patch2019-03-11 18:41 1.5K 
0072-FIXME-tweak-to-path-pruning.patch2019-03-11 18:41 1.9K 
0073-FIXME-for-now-don-t-defer-emission-of-diagnostics-sh.patch2019-03-11 18:41 2.3K 
0074-FIXME-more-debug-events.patch2019-03-11 18:41 5.1K 
0075-FIXME-WIP-on-expanding-call-summaries.patch2019-03-11 18:41 6.1K 
0076-FIXME-debug-improvements.patch2019-03-11 18:41 2.1K 
0077-FIXME-fix-stack-depths-add-call-edge_event.patch2019-03-11 18:41 6.1K 
0078-FIXME-break-out-engine-expand_call_summary-from-engi.patch2019-03-11 18:41 8.2K 
0079-FIXME-capture-per-stmt-data.patch2019-03-11 18:41 4.1K 
0080-FIXME-experiments-at-reconstructing-paths-from-call-.patch2019-03-11 18:41 4.7K 
0081-FIXME-more-event-usage.patch2019-03-11 18:41 11K 
0082-FIXME-test-coverage-for-ipa-path-events.patch2019-03-11 18:41 1.8K 
0083-FIXME-make-fanalyzer-verbosity-1-the-default.patch2019-03-11 18:41 4.8K 
0084-FIXME-add-logging-to-engine-prune_path.patch2019-03-11 18:41 2.7K 
0085-FIXME-track-origins-of-state-changes-and-use-them-wh.patch2019-03-11 18:41 7.2K 
0086-FIXME-support-JSON-output-from-driver-may-need-pruni.patch2019-03-11 18:41 2.1K 
0087-FIXME-more-logging.patch2019-03-11 18:41 2.5K