NameLast modifiedSizeDescription
Parent Directory  -  
0002-FIXME-example-of-github-html.patch2019-03-30 00:29 639K 
0013-FIXME-add-gcc-testsuite-gcc.dg-TODO-analyzer.patch2019-03-30 00:29 417K 
0017-FIXME-implementation-of-checker-based-on-state-machi.patch2019-03-30 00:29 194K 
0155-FIXME-delete-dead-.html-reports.patch2019-03-30 00:29 140K 
0014-FIXME-add-gcc-analyzer-dead-code.patch2019-03-30 00:29 80K 
0136-FIXME-add-fdiagnostics-path-summary-format-add-inlin.patch2019-03-30 00:29 41K 
0010-FIXME-diagnostic-paths.patch2019-03-30 00:29 35K 
0063-FIXME-split-out-state-machines-into-hardcoded-state-.patch2019-03-30 00:29 31K 
0050-FIXME-start-adding-metadata.patch2019-03-30 00:29 30K 
0012-FIXME-add-make-html.sh-and-various-demo-files-and-mo.patch2019-03-30 00:29 28K 
0049-FIXME-more-interprocedural.patch2019-03-30 00:29 24K 
0105-FIXME-abstract-events-move-desc-to-be-a-vfunc.patch2019-03-30 00:29 23K 
0127-FIXME-WIP-on-interprocedural-summary-of-paths.patch2019-03-30 00:29 22K 
0093-FIXME-start-adding-pattern-test.patch2019-03-30 00:29 21K 
0052-FIXME-emit-warnings-rather-than-errors.patch2019-03-30 00:29 20K 
0108-FIXME-more-on-constraints.patch2019-03-30 00:29 20K 
0016-FIXME-example-checkers.patch2019-03-30 00:29 20K 
0130-FIXME-WIP-on-interprocedural_path_summary.patch2019-03-30 00:29 20K 
0101-FIXME-attempt-to-track-states-when-expanding-call-su.patch2019-03-30 00:29 19K 
0158-FIXME-split-malloc-ipa-8.c-into-two-cases.patch2019-03-30 00:29 18K 
0145-FIXME-add-ansi2html.sh.patch2019-03-30 00:29 18K 
0067-FIXME-subclassing-diagnostic_path-and-events.patch2019-03-30 00:29 17K 
0137-FIXME-start-implementing-custom-state-change-message.patch2019-03-30 00:29 17K 
0119-FIXME-be-more-precise-about-stack-depths.patch2019-03-30 00:29 15K 
0015-FIXME-add-gcc-testsuite-DEADCODE-analyzer.dg-not-use.patch2019-03-30 00:29 15K 
0020-FIXME-initial-implementation-of-leak-detection.patch2019-03-30 00:29 15K 
0114-FIXME-various-cleanups.patch2019-03-30 00:29 14K 
0109-FIXME-handle-wrappers-around-abort-add-test-coverage.patch2019-03-30 00:29 13K 
0121-FIXME-WIP-on-better-expansions-of-call-summaries.patch2019-03-30 00:29 13K 
0064-FIXME-implement-pending_diagnostic-objects.patch2019-03-30 00:29 12K 
0009-FIXME-add-contrib-diagnostic-json-to-html.py.patch2019-03-30 00:29 11K 
0081-FIXME-more-event-usage.patch2019-03-30 00:29 11K 
0098-FIXME-fix-malloc-ipa-8.c.patch2019-03-30 00:29 11K 
0157-FIXME-malloc-ipa-8.c-remove-fdiagnostics-path-summar.patch2019-03-30 00:29 11K 
0089-FIXME-initial-impl-of-sensitive-info-leakage-detecto.patch2019-03-30 00:29 11K 
0128-FIXME-non-working-start-of-exploded-graph-experiment.patch2019-03-30 00:29 11K 
0103-FIXME-start-adding-path-filtering.patch2019-03-30 00:29 10K 
0156-FIXME-add-fdiagnostics-nn-line-numbers.patch2019-03-30 00:29 10K 
0168-FIXME-handle-comparisons-against-constants.patch2019-03-30 00:29 9.6K 
0132-FIXME-add-interprocedural-test-to-plugin.exp.patch2019-03-30 00:29 9.5K 
0138-FIXME-implement-custom-messages-for-final-events.patch2019-03-30 00:29 9.3K 
0146-FIXME-handle-deref-via-COMPONENT_REF.patch2019-03-30 00:29 9.3K 
0099-FIXME-use-pretty_print-within-logging.patch2019-03-30 00:29 9.3K 
0006-FIXME-WIP-on-emitting-URLs-PR-87488.patch2019-03-30 00:29 9.1K 
0135-FIXME-support-prefixes-to-diagnostic_show_locus.patch2019-03-30 00:29 8.9K 
0133-FIXME-add-fdiagnostics-show-path-depths.patch2019-03-30 00:29 8.8K 
0041-FIXME-initial-WIP-of-taint_state_machine.patch2019-03-30 00:29 8.5K 
0056-FIXME-capture-backtrace-in-engine_sm_context.patch2019-03-30 00:29 8.4K 
0100-FIXME-logging-tweaks.patch2019-03-30 00:29 8.4K 
0078-FIXME-break-out-engine-expand_call_summary-from-engi.patch2019-03-30 00:29 8.2K 
0007-FIXME-WIP-on-emitting-hyperlinks-to-docs-for-warning.patch2019-03-30 00:29 8.1K 
0165-FIXME-WIP-on-better-constraints.patch2019-03-30 00:29 8.1K 
0085-FIXME-track-origins-of-state-changes-and-use-them-wh.patch2019-03-30 00:29 7.2K 
0140-FIXME-WIP-on-recording-event-IDs.patch2019-03-30 00:29 6.6K 
0069-FIXME-start-adding-event-subclasses.patch2019-03-30 00:29 6.6K 
0113-FIXME-add-operations.c.patch2019-03-30 00:29 6.6K 
0060-FIXME-add-enum-supergraph_dot_flags-and-hide-BBs-by-.patch2019-03-30 00:29 6.5K 
0163-FIXME-engine-prune_path-update-var-for-phi-nodes.patch2019-03-30 00:29 6.4K 
0018-FIXME-handle-equivalence-classes-in-state-transition.patch2019-03-30 00:29 6.3K 
0075-FIXME-WIP-on-expanding-call-summaries.patch2019-03-30 00:29 6.1K 
0077-FIXME-fix-stack-depths-add-call-edge_event.patch2019-03-30 00:29 6.1K 
0029-FIXME-fix-hash_traits-to-distinguish-deleted-from-em.patch2019-03-30 00:29 6.0K 
0039-FIXME-start-taint-example.patch2019-03-30 00:29 5.9K 
0066-FIXME-defer-emission-of-diagnostics.patch2019-03-30 00:29 5.9K 
0141-FIXME-initial-implementation-of-free-of-alloca-warni.patch2019-03-30 00:29 5.8K 
0112-FIXME-add-params.c.patch2019-03-30 00:29 5.3K 
0148-FIXME-fix-engine-prune_path-to-track-var-through-cal.patch2019-03-30 00:29 5.2K 
0074-FIXME-more-debug-events.patch2019-03-30 00:29 5.1K 
0166-FIXME-recursive-transitivity-for-constraints.patch2019-03-30 00:29 5.0K 
0110-FIXME-add-loop.c-testcase.patch2019-03-30 00:29 4.8K 
0083-FIXME-make-fanalyzer-verbosity-1-the-default.patch2019-03-30 00:29 4.8K 
0120-FIXME-call-apply_constraints_for_call-return.patch2019-03-30 00:29 4.8K 
0080-FIXME-experiments-at-reconstructing-paths-from-call-.patch2019-03-30 00:29 4.7K 
0131-FIXME-convert-plugin-pass-to-be-interprocedural.patch2019-03-30 00:29 4.6K 
0004-NEEDS-B-R-CHANGELOG-BLURB-GCC-10-STAGE-1-diagnostic-.patch2019-03-30 00:29 4.5K 
0153-FIXME-add-gcc-color-to-html.py-from-website.patch2019-03-30 00:29 4.4K 
0167-FIXME-handle-a-b-and-b-a-implying-a-b-and-similar.patch2019-03-30 00:29 4.3K 
0161-FIXME-introduce-pending_diagnostic-formatted_print.patch2019-03-30 00:29 4.2K 
0096-FIXME-add-fdump-analyzer-summaries.patch2019-03-30 00:29 4.2K 
0057-FIXME-capture-edges-in-backtraces-also.patch2019-03-30 00:29 4.2K 
0079-FIXME-capture-per-stmt-data.patch2019-03-30 00:29 4.1K 
0070-FIXME-start-adding-event-filtering.patch2019-03-30 00:29 4.0K 
0118-FIXME-WIP-on-purging-stack-frames-from-path_state.patch2019-03-30 00:29 3.9K 
0102-FIXME-restore-untouched-locals-after-returning-from-.patch2019-03-30 00:29 3.9K 
0040-FIXME-WIP-in-dynamic-generation-of-checkers-informat.patch2019-03-30 00:29 3.8K 
0125-FIXME-supergraph-logging.patch2019-03-30 00:29 3.8K 
0147-FIXME-WIP-on-validating-sm_insts.patch2019-03-30 00:29 3.8K 
0159-FIXME-fix-validation-crashes.patch2019-03-30 00:29 3.7K 
0055-FIXME-another-.dot-based-visualization.patch2019-03-30 00:29 3.7K 
0008-FIXME-add-contrib-diagnostic-json-to-text.py.patch2019-03-30 00:29 3.6K 
0026-FIXME-better-locations-for-some-leaks.patch2019-03-30 00:29 3.6K 
0160-FIXME-implement-malloc_leak-describe_final_event.patch2019-03-30 00:29 3.5K 
0034-FIXME-filter-state-machine-vars-on-type.patch2019-03-30 00:29 3.5K 
0011-FIXME-temporarily-hack-up-plugin-testing.patch2019-03-30 00:29 3.5K 
0107-FIXME-start-adding-statement_event.patch2019-03-30 00:29 3.5K 
0124-FIXME-WIP-on-rejection-of-call-summaries-with-imposs.patch2019-03-30 00:29 3.4K 
0028-FIXME-split-out-engine-add_blk_edges_to_cache.patch2019-03-30 00:29 3.3K 
0065-FIXME-reject-by-returning-in-warn_for_state.patch2019-03-30 00:29 3.1K 
0019-FIXME-zero-assignment.patch2019-03-30 00:29 3.1K 
0126-FIXME-add-missing-push-pop_cfun.patch2019-03-30 00:29 2.9K 
0152-FIXME-add-fanalyzer-verbose-state-changes.patch2019-03-30 00:29 2.8K 
0027-FIXME-more-test-coverage.patch2019-03-30 00:29 2.8K 
0092-FIXME-WIP-test-coverage.patch2019-03-30 00:29 2.7K 
0084-FIXME-add-logging-to-engine-prune_path.patch2019-03-30 00:29 2.7K 
0033-FIXME-start-adding-engine-selftests.patch2019-03-30 00:29 2.6K 
0151-FIXME-implement-possible_null_deref-describe_final_e.patch2019-03-30 00:29 2.5K 
0087-FIXME-more-logging.patch2019-03-30 00:29 2.5K 
0058-FIXME-experiment-with-expanding-backtraces.patch2019-03-30 00:29 2.5K 
0073-FIXME-for-now-don-t-defer-emission-of-diagnostics-sh.patch2019-03-30 00:29 2.3K 
0044-FIXME-taint_state_machine-on_edge.patch2019-03-30 00:29 2.3K 
0046-FIXME-more-work-on-interprocedural-analysis.patch2019-03-30 00:29 2.2K 
0086-FIXME-support-JSON-output-from-driver-may-need-pruni.patch2019-03-30 00:29 2.1K 
0076-FIXME-debug-improvements.patch2019-03-30 00:29 2.1K 
0061-FIXME-add-another-path-test.patch2019-03-30 00:29 2.1K 
0031-FIXME-don-t-complain-about-double-free-of-NULL.patch2019-03-30 00:29 2.0K 
0068-FIXME-start-adding-debug-events-to-paths.patch2019-03-30 00:29 2.0K 
0090-FIXME-tweak-to-comments.patch2019-03-30 00:29 1.9K 
0072-FIXME-tweak-to-path-pruning.patch2019-03-30 00:29 1.9K 
0082-FIXME-test-coverage-for-ipa-path-events.patch2019-03-30 00:29 1.8K 
0115-FIXME-partial-implementation-of-transitivity-for-con.patch2019-03-30 00:29 1.8K 
0134-FIXME-WIP-on-malloc-ipa-8.c.patch2019-03-30 00:29 1.8K 
0154-FIXME-gcc-color-to-html.py-add-URL-support.patch2019-03-30 00:29 1.7K 
0005-NEEDS-B-R-CHANGELOG-BLURB-GCC-10-STAGE-1-diagnostic-.patch2019-03-30 00:29 1.7K 
0054-FIXME-fix-crash-on-unused-params.patch2019-03-30 00:29 1.7K 
0123-FIXME-more-verbose-logging-in-engine-get_next_expans.patch2019-03-30 00:29 1.7K 
0169-FIXME-more-test-coverage.patch2019-03-30 00:29 1.7K 
0023-FIXME-start-adding-timing-code.patch2019-03-30 00:29 1.6K 
0095-whitespace-cleanup.patch2019-03-30 00:29 1.5K 
0059-FIXME-handle-calloc.patch2019-03-30 00:29 1.5K 
0071-FIXME-create-but-then-prune-edge-events.patch2019-03-30 00:29 1.5K 
0117-FIXME-add-malloc-ipa-11.c.patch2019-03-30 00:29 1.5K 
0144-FIXME-more-test-cases.patch2019-03-30 00:29 1.4K 
0062-FIXME-some-notes.patch2019-03-30 00:29 1.4K 
0035-FIXME-tweak-to-logging.patch2019-03-30 00:29 1.4K 
0047-FIXME-add-fanalyzer-checker.patch2019-03-30 00:29 1.3K 
0106-FIXME-better-descriptions-for-edge_event.patch2019-03-30 00:29 1.3K 
0053-FIXME-fix-crash-on-function-pointers.patch2019-03-30 00:29 1.3K 
0048-FIXME-better-names-for-.dot-files.patch2019-03-30 00:29 1.2K 
0162-FIXME-use-default_tree_printer-when-logging.patch2019-03-30 00:29 1.2K 
0051-FIXME-purge-some-redundant-old-material.patch2019-03-30 00:29 1.2K 
0003-FIXME-GCC-10-Make-cgraph_node-get_fun-const.patch2019-03-30 00:29 1.2K 
0043-FIXME-move-any_pointer_p.patch2019-03-30 00:29 1.2K 
0024-FIXME-timevar.h-add-auto_client_timevar-class.patch2019-03-30 00:29 1.1K 
0116-FIXME-simplify-.dot-output.patch2019-03-30 00:29 1.1K 
0022-FIXME-tweak-to-top-level-logging.patch2019-03-30 00:29 1.1K 
0142-FIXME-add-malloc-paths-8.c.patch2019-03-30 00:29 1.1K 
0122-FIXME-fix-corruption-of-global_dc-s-pp-buffer-during.patch2019-03-30 00:29 1.1K 
0037-FIXME-don-t-colorize-the-logs.patch2019-03-30 00:29 1.1K 
0164-FIXME-set-up-cfun-input_location.patch2019-03-30 00:29 1.0K 
0042-FIXME-add-demo.c.patch2019-03-30 00:29 1.0K 
0097-FIXME-add-virtual-dtor-to-diagnostic_path.patch2019-03-30 00:29 1.0K 
0143-FIXME-more-test-coverage.patch2019-03-30 00:29 1.0K 
0139-FIXME-remove-jit-hack-for-now.patch2019-03-30 00:29 967  
0129-FIXME-hack-on-PR-jit-87808.patch2019-03-30 00:29 965  
0104-FIXME-cleanups.patch2019-03-30 00:29 941  
0036-FIXME-add-checker-name-to-.dot-filename.patch2019-03-30 00:29 939  
0038-FIXME-add-2nd-call-to-add_blk_edges_to_cache-disable.patch2019-03-30 00:29 930  
0111-FIXME-don-t-do-a-top-level-traversal-of-static-funct.patch2019-03-30 00:29 912  
0149-FIXME-fix-crash-with-fno-diagnostics-show-line-numbe.patch2019-03-30 00:29 897  
0030-FIXME-fix-In-function-announcement.patch2019-03-30 00:29 885  
0091-FIXME-add-analyze-to-html.sh.patch2019-03-30 00:29 843  
0021-FIXME-make-html.sh-try-it-on-the-testsuite.patch2019-03-30 00:29 843  
0088-FIXME-tweaks-to-make-html.sh.patch2019-03-30 00:29 800  
0150-FIXME-engine-validate_tree-handle-global-vars.patch2019-03-30 00:29 790  
0045-FIXME-taint-1.c-disable-the-non-working-code-for-now.patch2019-03-30 00:29 750  
0001-FIXME-prune.exp-emit-After-text.patch2019-03-30 00:29 744  
0032-FIXME-more-test-coverage.patch2019-03-30 00:29 734  
0025-FIXME-logging-tweak.patch2019-03-30 00:29 682  
0094-FIXME-add-notes.txt.patch2019-03-30 00:29 632