NameLast modifiedSizeDescription
Parent Directory  -  
0217-FIXME-hack-in-pragma-to-ignore-Wformat-diag-for-now.patch2020-07-21 21:35 686  
0020-FIXME-fix-mem_region-get_base_region.patch2020-07-21 21:34 701  
0095-FIXME-disable-verbose-testing.patch2020-07-21 21:35 705  
0202-FIXME-fix-leak-2.c.patch2020-07-21 21:35 705  
0191-FIXME-add-leak-2.c.patch2020-07-21 21:35 715  
0280-FIXME-add-dg-warning-to-exploded-1.c.patch2020-07-21 21:35 732  
0255-FIXME-fix-missing-memory-leak-diagnostics-when-disca.patch2020-07-21 21:35 794  
0139-FIXME-fix-__analyzer_dump-to-use-the-correct-state.patch2020-07-21 21:35 795  
0250-FIXME-fix-various-false-leaks-reports-from-compound-.patch2020-07-21 21:35 795  
0148-FIXME-strip-away-casts-in-region_model2-get_represen.patch2020-07-21 21:35 821  
0276-FIXME-fix-sense-of-mutabilitiy-in-reachable_region2s.patch2020-07-21 21:35 836  
0299-FIXME-tweak-cover-letter.patch2020-07-21 21:35 837  
0286-FIXME-fix-malloc-4.c.patch2020-07-21 21:35 852  
0080-FIXME-mark-test-as-passing.patch2020-07-21 21:35 868  
0154-FIXME-fix-missing-cast-in-region_model2-get_store_va.patch2020-07-21 21:35 872  
0245-FIXME-look-through-type-qualifiers-in-region2-get_su.patch2020-07-21 21:35 882  
0117-FIXME-set-input_location-in-exploded_node-on_stmt-pr.patch2020-07-21 21:35 902  
0177-FIXME-add-casts-2.c.patch2020-07-21 21:35 912  
0220-FIXME-binops-on-UNKNOWN-are-also-unknown.patch2020-07-21 21:35 922  
0015-FIXME-fix-move-ctor.patch2020-07-21 21:34 928  
0105-FIXME-log-stmt-in-exploded_node-on_stmt.patch2020-07-21 21:35 942  
0096-FIXME-fix-missing-initialization-in-region_model2-up.patch2020-07-21 21:35 945  
0169-FIXME-remove-sval-comparison-from-saved_diagnostic-o.patch2020-07-21 21:35 953  
0208-FIXME-disable-less-of-test_model_equality_3.patch2020-07-21 21:35 961  
0273-FIXME-fix-typo.patch2020-07-21 21:35 963  
0149-FIXME-handle-NULL-original-type-in-maybe_fold_unaryo.patch2020-07-21 21:35 972  
0153-FIXME-handle-more-binary-ops.patch2020-07-21 21:35 1.0K 
0055-FIXME-fold-binops.patch2020-07-21 21:35 1.0K 
0288-FIXME-update-comment.patch2020-07-21 21:35 1.0K 
0257-FIXME-tighten-up-compound-assignment-1.c-dg-warning.patch2020-07-21 21:35 1.0K 
0271-FIXME-fix-broken-MEM_REF-that-led-to-ICE-in-poc.c-wh.patch2020-07-21 21:35 1.0K 
0071-FIXME-remove-xfail.patch2020-07-21 21:35 1.0K 
0163-FIXME-pass-var-and-origin-trees-to-describe_state_ch.patch2020-07-21 21:35 1.0K 
0268-FIXME-fix-NULL-ctxt-in-is_zero_assignment.patch2020-07-21 21:35 1.0K 
0190-FIXME-update-data-model-13.c-for-fix.patch2020-07-21 21:35 1.0K 
0070-FIXME-implement-region_model2-copy_region.patch2020-07-21 21:35 1.0K 
0306-FIXME-tweak-default-for-param_analyzer_max_svalue_de.patch2020-07-21 21:35 1.0K 
0185-FIXME-add-symbolic-6.c.patch2020-07-21 21:35 1.1K 
0188-FIXME-handle-negative-offsets-in-calc_offset.patch2020-07-21 21:35 1.1K 
0301-FIXME-extend-alloca-selftest.patch2020-07-21 21:35 1.1K 
0270-FIXME-fix-torture-intptr_t.c.patch2020-07-21 21:35 1.1K 
0168-FIXME-simplify-no-leak-in-main-logic.patch2020-07-21 21:35 1.1K 
0300-FIXME-merge-flags-in-binding_cluster2-can_merge_p.patch2020-07-21 21:35 1.1K 
0275-FIXME-dump-more-in-reachable_region2s-dump_to_pp.patch2020-07-21 21:35 1.1K 
0256-FIXME-favor-RESULT_DECL-over-temporaries-in-readabil.patch2020-07-21 21:35 1.2K 
0064-FIXME-first-9-__analyzer_eval-of-data-model1.c-work.patch2020-07-21 21:35 1.2K 
0252-FIXME-fix-unknown-fns.c-test_4a.patch2020-07-21 21:35 1.2K 
0192-FIXME-fix-ICE-on-global-state-changes-sm-signal-.c.patch2020-07-21 21:35 1.2K 
0206-FIXME-reenable-tests-in-test_assignment.patch2020-07-21 21:35 1.2K 
0082-FIXME-mark-test-as-passing.patch2020-07-21 21:35 1.2K 
0063-FIXME-first-7-__analyzer_eval-of-data-model1.c-work.patch2020-07-21 21:35 1.2K 
0203-FIXME-fix-zlib-4.c.patch2020-07-21 21:35 1.2K 
0157-FIXME-handle-phi-nodes.patch2020-07-21 21:35 1.2K 
0099-FIXME-add-aliasing-1.c-WIP.patch2020-07-21 21:35 1.3K 
0189-FIXME-fix-missing-call-to-update_for_phis.patch2020-07-21 21:35 1.3K 
0142-FIXME-data-model-1.c-does-not-ICE.patch2020-07-21 21:35 1.3K 
0201-FIXME-cleaning-up-binding_cluster2-get_representativ.patch2020-07-21 21:35 1.3K 
0155-FIXME-implement-REALPART_EXPR-and-IMAGPART_EXPR.patch2020-07-21 21:35 1.3K 
0159-FIXME-fix-typo.patch2020-07-21 21:35 1.3K 
0244-FIXME-clarify-logging-in-diagnostic_manager-prune_fo.patch2020-07-21 21:35 1.3K 
0216-FIXME-hackish-fix-for-setjmp-issues.patch2020-07-21 21:35 1.3K 
0232-FIXME-fix-state-dumping.patch2020-07-21 21:35 1.4K 
0261-FIXME-fixes-to-call_details-dump_to_pp.patch2020-07-21 21:35 1.4K 
0237-FIXME-remove-self-comparisons-due-to-EC-mergers.patch2020-07-21 21:35 1.4K 
0310-FIXME-add-FIXME-pr93032-mztools-simplified.c.patch2020-07-21 21:35 1.4K 
0101-FIXME-add-binding_key2-dump.patch2020-07-21 21:35 1.4K 
0212-FIXME-more-re-enabling-withiin-test_state_merging.patch2020-07-21 21:35 1.4K 
0265-FIXME-fix-0-of-a-STRING_CST.patch2020-07-21 21:35 1.4K 
0274-FIXME-update-expected-results-from-zlib-4.c.patch2020-07-21 21:35 1.4K 
0053-FIXME-WIP-on-data-model-1.c.patch2020-07-21 21:35 1.4K 
0291-FIXME-compound-assignment-1.c-update-for-XPASS-PASS.patch2020-07-21 21:35 1.4K 
0042-FIXME-WIP-on-on_stmt.patch2020-07-21 21:34 1.4K 
0152-FIXME-implement-region_model2-update_for_call_summar.patch2020-07-21 21:35 1.5K 
0041-FIXME-silence-some-warnings.patch2020-07-21 21:34 1.5K 
0282-FIXME-add-aliasing-2.c.patch2020-07-21 21:35 1.5K 
0151-FIXME-handle-ABS_EXPR-and-ABSU_EXPR.patch2020-07-21 21:35 1.5K 
0178-FIXME-add-failing-symbolic-5.c.patch2020-07-21 21:35 1.5K 
0292-FIXME-fix-false-leak-in-gzio.c.patch2020-07-21 21:35 1.5K 
0031-FIXME-implement-region2-get_base_region.patch2020-07-21 21:34 1.5K 
0285-FIXME-some-malloc-1.c-xfail-pass.patch2020-07-21 21:35 1.5K 
0267-FIXME-fixes-for-ICEs-on-complex.patch2020-07-21 21:35 1.5K 
0027-FIXME-cleanups.patch2020-07-21 21:34 1.6K 
0135-FIXME-another-cast-case.patch2020-07-21 21:35 1.6K 
0156-FIXME-allow-unknown_svalue2-to-have-NULL-type.patch2020-07-21 21:35 1.7K 
0222-FIXME-fix-exploded_node-get_dot_fillcolor.patch2020-07-21 21:35 1.7K 
0001-FIXME-add-logger-to-extrinsic_state.patch2020-07-21 21:34 1.7K 
0266-FIXME-fix-some-XPASSes.patch2020-07-21 21:35 1.7K 
0207-FIXME-reenable-test_compound_assignment.patch2020-07-21 21:35 1.7K 
0224-FIXME-tweaks-to-manager-s-log_stats.patch2020-07-21 21:35 1.7K 
0205-FIXME-reenable-constraint-tests-in-test_stack_frames.patch2020-07-21 21:35 1.7K 
0045-FIXME-enable-test_assignment.patch2020-07-21 21:34 1.7K 
0102-FIXME-analyzer-logging.h-expose-inc_indent-dec_inden.patch2020-07-21 21:35 1.7K 
0260-FIXME-tweaks-to-cover-letter.txt.patch2020-07-21 21:35 1.8K 
0181-FIXME-simplify-maybe_fold_binop.patch2020-07-21 21:35 1.8K 
0302-FIXME-tweaks-to-store2.cc.patch2020-07-21 21:35 1.8K 
0127-FIXME-tweaks-to-comments.patch2020-07-21 21:35 1.8K 
0022-FIXME-WIP-on-state.patch2020-07-21 21:34 1.8K 
0081-FIXME-support-unaryop-and-binaryops.patch2020-07-21 21:35 1.8K 
0067-WIP-on-selftest-test_POINTER_PLUS_EXPR_then_MEM_REF.patch2020-07-21 21:35 1.9K 
0298-FIXME-introduce-binding_cluster2-bind_key.patch2020-07-21 21:35 1.9K 
0254-FIXME-add-stale-frame-1.c-tweak-wording-of-POISON_KI.patch2020-07-21 21:35 1.9K 
0211-FIXME-folding-of-ops-on-unknown.patch2020-07-21 21:35 1.9K 
0307-FIXME-add-loop-test-coverage.patch2020-07-21 21:35 1.9K 
0158-FIXME-fix-bogus-leak-detection-on-INIT_VAL.patch2020-07-21 21:35 1.9K 
0058-FIXME-bare-bones-impl-of-GIMPLE_CALL.patch2020-07-21 21:35 2.0K 
0304-FIXME-add-some-comments.patch2020-07-21 21:35 2.1K 
0019-FIXME-more-tests.patch2020-07-21 21:34 2.1K 
0057-FIXME-implement-region_model2_manager.patch2020-07-21 21:35 2.1K 
0129-FIXME-dump_to_pp-fixes.patch2020-07-21 21:35 2.1K 
0059-FIXME-more-cleanups.patch2020-07-21 21:35 2.2K 
0269-FIXME-fix-unhandled-assignment-op-vector_cst.patch2020-07-21 21:35 2.2K 
0293-FIXME-fix-comparison-against-T-NULL-when-we-know-res.patch2020-07-21 21:35 2.2K 
0133-FIXME-fix-type-mismatch-in-MEM_REF-handling.patch2020-07-21 21:35 2.2K 
0165-FIXME-implement-record_critical_state-for-EK_CALL_ED.patch2020-07-21 21:35 2.2K 
0128-FIXME-various-fixes.patch2020-07-21 21:35 2.3K 
0029-FIXME-eliminate-copy-of-make_region_for_type.patch2020-07-21 21:34 2.3K 
0141-FIXME-handle-__builtin_memset-and-thus-bzero.patch2020-07-21 21:35 2.3K 
0219-FIXME-reject-attempts-to-set-sm-state-or-constraints.patch2020-07-21 21:35 2.4K 
0167-FIXME-re-enable-add_any_constraints_from_ssa_def_stm.patch2020-07-21 21:35 2.4K 
0176-FIXME-handle-symbolic-bindings-vs-zero-init.patch2020-07-21 21:35 2.4K 
0083-FIXME-get-arg-passing-working.patch2020-07-21 21:35 2.4K 
0248-FIXME-fix-leak-detection-for-longjmp.patch2020-07-21 21:35 2.4K 
0110-FIXME-fixups-to-support-single-line-dumps.patch2020-07-21 21:35 2.5K 
0241-FIXME-also-handle-LE-in-constraint2-implied_by.patch2020-07-21 21:35 2.5K 
0296-FIXME-merge-m_called_unknown_fn.patch2020-07-21 21:35 2.6K 
0214-FIXME-add-binding_cluster2-dump.patch2020-07-21 21:35 2.6K 
0166-FIXME-implement-record_critical_state-for-EK_RETURN_.patch2020-07-21 21:35 2.6K 
0184-FIXME-update-store2.h-intro.patch2020-07-21 21:35 2.7K 
0030-FIXME-WIP-on-binding-clusters.patch2020-07-21 21:34 2.7K 
0295-FIXME-make-binding_cluster2-can_merge_p-more-aggress.patch2020-07-21 21:35 2.7K 
0033-FIXME-WIP-on-C-fix.patch2020-07-21 21:34 2.8K 
0062-FIXME-first-5-__analyzer_eval-of-data-model1.c-work.patch2020-07-21 21:35 2.8K 
0278-FIXME-return-POISON_KIND_UNINIT-for-default-SSA-name.patch2020-07-21 21:35 2.9K 
0240-FIXME-WIP-on-implementing-constraint2-implied_by.patch2020-07-21 21:35 3.0K 
0124-FIXME-eliminate-ifdef-out-clone-vfuncs.patch2020-07-21 21:35 3.0K 
0194-FIXME-WIP-on-selftest-test_get_representative_path_v.patch2020-07-21 21:35 3.0K 
0290-FIXME-fix-hash-fns-for-svalue-key-types.patch2020-07-21 21:35 3.0K 
0171-FIXME-introduce-impl_call_analyzer_eval.patch2020-07-21 21:35 3.1K 
0209-FIXME-disable-less-of-test_state_merging.patch2020-07-21 21:35 3.1K 
0281-FIXME-implement-pointer-comparisons-of-INIT_VAL-PARM.patch2020-07-21 21:35 3.2K 
0262-FIXME-rename-reachable.h-cc-to-region-model2-reachab.patch2020-07-21 21:35 3.2K 
0227-FIXME-fix-merger-of-widening_svalue2s.patch2020-07-21 21:35 3.3K 
0088-FIXME-disable-ICE-ing-tests-in-data-model-1.c-for-no.patch2020-07-21 21:35 3.3K 
0251-FIXME-add-workaround-for-missing-clobber-stmt-locati.patch2020-07-21 21:35 3.3K 
0093-FIXME-handle-initial_svalues-in-get_representative_t.patch2020-07-21 21:35 3.3K 
0258-FIXME-updates-to-uses-of-__analyzer_dump_exploded_no.patch2020-07-21 21:35 3.3K 
0204-FIXME-implement-constraint_manager2-merge-fix-selfte.patch2020-07-21 21:35 3.4K 
0239-FIXME-add-test_redundant_constraints.patch2020-07-21 21:35 3.4K 
0182-FIXME-more-on-binop-simplification.patch2020-07-21 21:35 3.5K 
0195-FIXME-move-first-field-to-testsuite-fix-them-up.patch2020-07-21 21:35 3.5K 
0170-FIXME-call-simplify_for_binding-in-binding_cluster2-.patch2020-07-21 21:35 3.5K 
0235-FIXME-simplify-signature-of-range2-constrained_to_si.patch2020-07-21 21:35 3.5K 
0308-FIXME-offset_region2-folding-avoid-state-bloat-due-t.patch2020-07-21 21:35 3.5K 
0123-FIXME-add-cover-letter.txt.patch2020-07-21 21:35 3.7K 
0012-FIXME-try-colorizing-JSON-output.patch2020-07-21 21:34 3.8K 
0215-FIXME-fix-sm-state-handling-in-program_state-can_mer.patch2020-07-21 21:35 3.8K 
0200-FIXME-data-model-20.c.patch2020-07-21 21:35 3.9K 
0199-FIXME-add-POINTER_PLUS_EXPR-tests.patch2020-07-21 21:35 3.9K 
0283-FIXME-sm_state_map2-print-add-simple-multiline-flags.patch2020-07-21 21:35 3.9K 
0183-FIXME-fold-associative-ops-add-refcounting-test.patch2020-07-21 21:35 3.9K 
0120-FIXME-pass-ctxt-to-on_stmt-on_gassign-on_greturn.patch2020-07-21 21:35 4.0K 
0125-FIXME-eliminate-ifdef-out-dump_child_label.patch2020-07-21 21:35 4.0K 
0172-FIXME-cleanups.patch2020-07-21 21:35 4.0K 
0108-FIXME-more-WIP-on-leak-detection.patch2020-07-21 21:35 4.0K 
0246-FIXME-implement-region2-descendent_of_p.patch2020-07-21 21:35 4.1K 
0223-FIXME-don-t-create-clusters-for-symbolic_region2-for.patch2020-07-21 21:35 4.1K 
0051-FIXME-fix-region_model2-operator.patch2020-07-21 21:34 4.1K 
0297-FIXME-move-code-to-new-subroutine-binding_cluster2-b.patch2020-07-21 21:35 4.2K 
0289-FIXME-allow-for-impl_region_model2_context-on_state_.patch2020-07-21 21:35 4.2K 
0052-FIXME-fix-region_model2-copy-ctor.patch2020-07-21 21:35 4.3K 
0006-FIXME-more-on-experiment.patch2020-07-21 21:34 4.3K 
0138-FIXME-subvalues-of-unknown-are-unknown.patch2020-07-21 21:35 4.4K 
0193-FIXME-fix-flickering-test-in-data-model-14.c.patch2020-07-21 21:35 4.4K 
0287-FIXME-introduce-region_model2-impl_call_free.patch2020-07-21 21:35 4.5K 
0187-FIXME-implement-__analyzer_describe.patch2020-07-21 21:35 4.5K 
0130-FIXME-add-cast-in-region_model2-get_store_value-fold.patch2020-07-21 21:35 4.5K 
0272-FIXME-remove-__analyzer_dump_num_heap_regions.patch2020-07-21 21:35 4.5K 
0084-FIXME-handle-pure-fns-known-fns-and-fn-ptrs-with-han.patch2020-07-21 21:35 4.5K 
0179-FIXME-WIP-on-symbolic-5.c-aliasing.patch2020-07-21 21:35 4.5K 
0126-FIXME-eliminate-ifdef-out-print_fields.patch2020-07-21 21:35 4.6K 
0221-FIXME-fix-uniqueness-of-UNKNOWN-NULL_TREE.patch2020-07-21 21:35 4.6K 
0111-FIXME-non-working-test-cases-for-brace-enclosed-init.patch2020-07-21 21:35 4.6K 
0312-FIXME-tweak-egraph-.dot-output-to-focus-on-enodes-wh.patch2020-07-21 21:35 4.7K 
0160-FIXME-simplify-dumping-of-regions-with-a-simple-dire.patch2020-07-21 21:35 4.7K 
0107-FIXME-WIP-on-leak-detection.patch2020-07-21 21:35 4.8K 
0238-FIXME-avoid-creating-ECs-when-rejecting-self-compari.patch2020-07-21 21:35 4.8K 
0234-FIXME-make-test_constant_comparisons-not-need-fanaly.patch2020-07-21 21:35 4.8K 
0076-FIXME-group-by-parent-region-when-dumping-store.patch2020-07-21 21:35 4.8K 
0197-FIXME-add-placeholder_svalue2-use-it-to-start-popula.patch2020-07-21 21:35 4.9K 
0173-FIXME-remove-redundant-checks-for-NULL-in-region_mod.patch2020-07-21 21:35 5.0K 
0016-FIXME-WIP-on-smarter-region-bindings.patch2020-07-21 21:34 5.0K 
0079-FIXME-treat-regions-pointer-to-by-initial-values-of-.patch2020-07-21 21:35 5.1K 
0136-FIXME-cleanups.patch2020-07-21 21:35 5.1K 
0065-FIXME-first-10-__analyzer_eval-of-data-model-1.c-wor.patch2020-07-21 21:35 5.3K 
0303-FIXME-add-tests-for-BZs.patch2020-07-21 21:35 5.4K 
0210-FIXME-implement-merging-of-svalues-that-share-a-bind.patch2020-07-21 21:35 5.4K 
0066-FIXME-improvements-to-dumping.patch2020-07-21 21:35 5.5K 
0021-FIXME-start-adding-conjured_savl.patch2020-07-21 21:34 5.5K 
0279-FIXME-fix-missing-uninit-warning-when-dereferencing-.patch2020-07-21 21:35 5.8K 
0164-FIXME-fixups-to-test-suite.patch2020-07-21 21:35 5.8K 
0315-FIXME-rework-null_assignment_sm_context-to-work-on-e.patch2020-07-21 21:35 5.8K 
0180-FIXME-some-more-unary-op-folding.patch2020-07-21 21:35 6.0K 
0294-FIXME-add-m_called_unknown_fn-fixing-unknown-fns.c-t.patch2020-07-21 21:35 6.2K 
0009-FIXME-use-uniq_manager-more-in-revamp-state.h-cc.patch2020-07-21 21:34 6.2K 
0121-FIXME-add-log_stats-of-managed-objects.patch2020-07-21 21:35 6.3K 
0010-FIXME-consolidate-store-and-revamp_states.patch2020-07-21 21:34 6.3K 
0104-FIXME-implement-poisoned_svalue2.patch2020-07-21 21:35 6.3K 
0036-FIXME-more-on-region_offset.patch2020-07-21 21:34 6.5K 
0061-FIXME-get-first-__analyzer_eval-to-work.patch2020-07-21 21:35 6.5K 
0013-FIXME-WIP-on-element_region-and-field_region.patch2020-07-21 21:34 6.7K 
0047-FIXME-get-simple-dereferencing-working.patch2020-07-21 21:34 6.7K 
0144-FIXME-remove-redundant-ctxt-param-from-region_model2.patch2020-07-21 21:35 6.7K 
0140-FIXME-get-test_12d-to-work-field-extraction-after-a-.patch2020-07-21 21:35 6.8K 
0231-FIXME-WIP-on-adding-iterated-binops.patch2020-07-21 21:35 6.9K 
0134-FIXME-handle-gassign-of-STRING_CST.patch2020-07-21 21:35 7.0K 
0018-FIXME-WIP-on-binding-clusters.patch2020-07-21 21:34 7.1K 
0229-FIXME-more-on-widening_svalue2-eval_condition_withou.patch2020-07-21 21:35 7.1K 
0060-FIXME-implement-clobbering.patch2020-07-21 21:35 7.1K 
0054-FIXME-initial-WIP-on-binops.patch2020-07-21 21:35 7.1K 
0056-FIXME-initial-impl-of-unary-ops.patch2020-07-21 21:35 7.1K 
0198-FIXME-use-get_subregions_for_binding.patch2020-07-21 21:35 7.6K 
0118-FIXME-pass-enode_for_diag-to-get_or_create_node.patch2020-07-21 21:35 7.7K 
0174-FIXME-WIP-on-symbolic-bindings.patch2020-07-21 21:35 7.9K 
0263-FIXME-fix-missing-leaks-from-sm-file-by-setting-LHS-.patch2020-07-21 21:35 8.0K 
0098-FIXME-add-test_svalue2_folding.patch2020-07-21 21:35 8.1K 
0277-FIXME-fix-unknown-fns.c-test_1-by-separating-marking.patch2020-07-21 21:35 8.1K 
0103-FIXME-WIP-on-leaks-trying-to-get-at-all-ssa-names.patch2020-07-21 21:35 8.1K 
0226-FIXME-WIP-on-widening.patch2020-07-21 21:35 8.2K 
0072-FIXME-add-string_region2.patch2020-07-21 21:35 8.3K 
0186-FIXME-store2-set_value-check-both-ways-for-clusters-.patch2020-07-21 21:35 8.4K 
0228-FIXME-initial-impl-of-widening_svalue2-eval_conditio.patch2020-07-21 21:35 8.4K 
0086-FIXME-initial-implementation-of-labels.patch2020-07-21 21:35 8.8K 
0035-FIXME-start-introducing-region_offset.patch2020-07-21 21:34 9.3K 
0073-FIXME-get-str-0-working.patch2020-07-21 21:35 9.3K 
0311-FIXME-implement-constraint_manager2-canonicalize.patch2020-07-21 21:35 9.4K 
0092-FIXME-enough-get_representative-to-get-state_change_.patch2020-07-21 21:35 9.5K 
0113-FIXME-move-binding_key2-kind-to-top-level.patch2020-07-21 21:35 9.5K 
0048-FIXME-implement-symbolic_region2.patch2020-07-21 21:34 9.5K 
0011-FIXME-more-WIP-on-state-revamp-mostly-JSON-support.patch2020-07-21 21:34 9.7K 
0007-FIXME-initial-impl-of-uniq_manager.patch2020-07-21 21:34 9.7K 
0146-FIXME-get-signal-1.c-to-work.patch2020-07-21 21:35 9.8K 
0122-FIXME-remove-ifdef-out-svalue2-hash-add_to_hash-prin.patch2020-07-21 21:35 9.9K 
0003-FIXME-add-non-working-testcase-for-PR-93032-zlib-con.patch2020-07-21 21:34 10K 
0131-FIXME-add-POINTER_DIFF_EXPR-and-BIT_FIELD_REF-adding.patch2020-07-21 21:35 10K 
0116-FIXME-move-call-handling-to-impl_-subroutines.patch2020-07-21 21:35 10K 
0044-FIXME-WIP-on-getting-test_stack_frames-to-work.patch2020-07-21 21:34 10K 
0037-FIXME-implement-offsets-for-fields-needed-to-use-bit.patch2020-07-21 21:34 10K 
0094-FIXME-handle-sm-state-changes-from-conditionals.patch2020-07-21 21:35 10K 
0040-FIXME-more-on-wiring-up-region_model2-into-program_s.patch2020-07-21 21:34 11K 
0115-FIXME-get-extracting-a-zero-field-from-a-zero-filled.patch2020-07-21 21:35 11K 
0017-FIXME-initial-bad-implementation-of-immutable_hash_m.patch2020-07-21 21:34 11K 
0112-FIXME-WIP-on-CONSTRUCTOR-default-bindings-etc.patch2020-07-21 21:35 11K 
0137-FIXME-memset-improvements.patch2020-07-21 21:35 11K 
0075-FIXME-enough-interprocedural-code-for-returning-a-va.patch2020-07-21 21:35 11K 
0143-FIXME-introduce-cast_region2-use-it-to-fix-test_51.patch2020-07-21 21:35 11K 
0002-FIXME-add-non-working-testcase-for-PR-93355-intl-loc.patch2020-07-21 21:34 11K 
0008-FIXME-begin-using-uniq_manager-in-revamp-state.h-cc.patch2020-07-21 21:34 12K 
0078-FIXME-handle-escaped-regions.patch2020-07-21 21:35 12K 
0091-FIXME-WIP-on-state-change-events.patch2020-07-21 21:35 12K 
0038-FIXME-introduce-initial-values.patch2020-07-21 21:34 12K 
0161-FIXME-fix-double-free-of-unknown-in-CVE-2005-1689-mi.patch2020-07-21 21:35 12K 
0230-FIXME-pass-a-model2_merger-around-rather-than-just-a.patch2020-07-21 21:35 13K 
0213-FIXME-add-a-bunch-of-WIP-loop-tests.patch2020-07-21 21:35 13K 
0175-FIXME-add-touched-flag-to-clusters.patch2020-07-21 21:35 13K 
0074-FIXME-implement-offset_region2-get-msg-1-e-working-i.patch2020-07-21 21:35 13K 
0049-FIXME-introduce-store2-and-store2_manager-classes.patch2020-07-21 21:34 13K 
0236-FIXME-rename-m_equiv_class2es-to-m_equiv_classes.patch2020-07-21 21:35 13K 
0242-FIXME-fix-missing-deref-of-NULL-warning-in-pr94099.c.patch2020-07-21 21:35 13K 
0068-FIXME-WIP-on-pointer-arithmetic-and-on-function-poin.patch2020-07-21 21:35 13K 
0150-FIXME-eliminate-base-class-region2-get_representativ.patch2020-07-21 21:35 14K 
0253-FIXME-implement-poisoning-of-regions.patch2020-07-21 21:35 14K 
0069-FIXME-WIP-on-malloc-and-alloca.patch2020-07-21 21:35 14K 
0097-FIXME-initial-implementation-of-state-purging.patch2020-07-21 21:35 14K 
0314-FIXME-don-t-store-sm-state-for-NULL-fixing-PR-93032.patch2020-07-21 21:35 14K 
0109-FIXME-yet-more-on-leak-detection.patch2020-07-21 21:35 15K 
0077-FIXME-initial-implementation-of-handle_unrecognized_.patch2020-07-21 21:35 15K 
0247-FIXME-fixes-to-leak-detection.patch2020-07-21 21:35 15K 
0309-FIXME-various-cleanups-and-XFAILs-for-loop-tests.patch2020-07-21 21:35 17K 
0106-FIXME-support-single-line-dumps.patch2020-07-21 21:35 17K 
0026-FIXME-start-reworking-region-subclasses.patch2020-07-21 21:34 17K 
0233-FIXME-make-eval_constraint-const.patch2020-07-21 21:35 17K 
0145-FIXME-port-sm-signal.c-update_model_for_signal_handl.patch2020-07-21 21:35 18K 
0034-FIXME-start-adding-array-handling.patch2020-07-21 21:34 18K 
0119-FIXME-initial-port-of-setjmp-longjmp.patch2020-07-21 21:35 18K 
0218-FIXME-replace-setjmp-merging-hack-with-unmergeable_s.patch2020-07-21 21:35 18K 
0313-FIXME-implement-store-canonicalization-and-visitor-c.patch2020-07-21 21:35 19K 
0259-FIXME-more-known-fn-implementations-to-a-new-region-.patch2020-07-21 21:35 19K 
0249-FIXME-move-reachable_region2s-to-its-own-.h-and-.cc-.patch2020-07-21 21:35 20K 
0114-FIXME-WIP-on-capturing-concrete-bindings-purely-as-b.patch2020-07-21 21:35 21K 
0284-FIXME-WIP-on-inherited-state-taint.patch2020-07-21 21:35 21K 
0005-FIXME-WIP-on-an-alternate-to-region_model.patch2020-07-21 21:34 21K 
0028-FIXME-eliminate-primitive_region2-struct_or_union_re.patch2020-07-21 21:34 21K 
0085-FIXME-eliminate-map_region2-in-favor-of-a-new-space_.patch2020-07-21 21:35 21K 
0032-FIXME-more-WIP-on-bindings.patch2020-07-21 21:34 22K 
0025-FIXME-WIP-towards-binding-values-to-regions.patch2020-07-21 21:34 22K 
0305-FIXME-add-svalue-complexity-limit.patch2020-07-21 21:35 23K 
0014-FIXME-split-out-mem_region-into-a-separate-hierarchy.patch2020-07-21 21:34 24K 
0243-FIXME-fix-handling-of-calls-to-unknown-fns.patch2020-07-21 21:35 27K 
0225-FIXME-WIP-on-widening.patch2020-07-21 21:35 28K 
0264-FIXME-add-compound_svalue2.patch2020-07-21 21:35 29K 
0043-FIXME-WIP-towards-locals.patch2020-07-21 21:34 29K 
0090-FIXME-sm-state-enough-for-first-double-free-to-be-em.patch2020-07-21 21:35 30K 
0039-FIXME-start-wiring-up-region_model2-into-program_sta.patch2020-07-21 21:34 30K 
0050-FIXME-move-store-code-a-new-store2.cc-h.patch2020-07-21 21:34 31K 
0162-FIXME-WIP-on-introducing-state_change2_event-to-fix-.patch2020-07-21 21:35 32K 
0196-FIXME-re-enable-selftest-test_get_representative_tre.patch2020-07-21 21:35 34K 
0132-FIXME-initial-WIP-on-state-merging.patch2020-07-21 21:35 37K 
0089-FIXME-WIP-on-sm-state-for-revamped-model.patch2020-07-21 21:35 42K 
0024-FIXME-enough-to-get-it-to-link.patch2020-07-21 21:34 44K 
0046-FIXME-avoid-passing-manager-ptr-around-rename-canoni.patch2020-07-21 21:34 48K 
0147-FIXME-delete-first-revamp_state-experiment.patch2020-07-21 21:35 51K 
0087-FIXME-WIP-on-constraints-implementation.patch2020-07-21 21:35 80K 
0100-FIXME-make-all-svalue2-and-region2-ptrs-const-except.patch2020-07-21 21:35 157K 
0023-FIXME-WIP-on-revamp_state-2-region_model2.patch2020-07-21 21:34 295K 
0004-NOT_FOR_UPSTREAM-test-coverage.patch2020-07-21 21:34 1.0M