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