NameLast modifiedSizeDescription
Parent Directory  -  
0004-NOT_FOR_UPSTREAM-test-coverage.patch2020-05-29 14:13 1.0M 
0023-FIXME-WIP-on-revamp_state-2-region_model2.patch2020-05-29 14:13 295K 
0100-FIXME-make-all-svalue2-and-region2-ptrs-const-except.patch2020-05-29 14:13 157K 
0087-FIXME-WIP-on-constraints-implementation.patch2020-05-29 14:13 80K 
0147-FIXME-delete-first-revamp_state-experiment.patch2020-05-29 14:13 51K 
0046-FIXME-avoid-passing-manager-ptr-around-rename-canoni.patch2020-05-29 14:13 48K 
0024-FIXME-enough-to-get-it-to-link.patch2020-05-29 14:13 44K 
0089-FIXME-WIP-on-sm-state-for-revamped-model.patch2020-05-29 14:13 42K 
0132-FIXME-initial-WIP-on-state-merging.patch2020-05-29 14:13 37K 
0162-FIXME-WIP-on-introducing-state_change2_event-to-fix-.patch2020-05-29 14:13 32K 
0050-FIXME-move-store-code-a-new-store2.cc-h.patch2020-05-29 14:13 31K 
0039-FIXME-start-wiring-up-region_model2-into-program_sta.patch2020-05-29 14:13 30K 
0090-FIXME-sm-state-enough-for-first-double-free-to-be-em.patch2020-05-29 14:13 30K 
0043-FIXME-WIP-towards-locals.patch2020-05-29 14:13 29K 
0014-FIXME-split-out-mem_region-into-a-separate-hierarchy.patch2020-05-29 14:13 24K 
0025-FIXME-WIP-towards-binding-values-to-regions.patch2020-05-29 14:13 22K 
0032-FIXME-more-WIP-on-bindings.patch2020-05-29 14:13 22K 
0085-FIXME-eliminate-map_region2-in-favor-of-a-new-space_.patch2020-05-29 14:13 21K 
0028-FIXME-eliminate-primitive_region2-struct_or_union_re.patch2020-05-29 14:13 21K 
0005-FIXME-WIP-on-an-alternate-to-region_model.patch2020-05-29 14:13 21K 
0114-FIXME-WIP-on-capturing-concrete-bindings-purely-as-b.patch2020-05-29 14:13 21K 
0119-FIXME-initial-port-of-setjmp-longjmp.patch2020-05-29 14:13 18K 
0034-FIXME-start-adding-array-handling.patch2020-05-29 14:13 18K 
0145-FIXME-port-sm-signal.c-update_model_for_signal_handl.patch2020-05-29 14:13 18K 
0026-FIXME-start-reworking-region-subclasses.patch2020-05-29 14:13 17K 
0106-FIXME-support-single-line-dumps.patch2020-05-29 14:13 17K 
0077-FIXME-initial-implementation-of-handle_unrecognized_.patch2020-05-29 14:13 15K 
0109-FIXME-yet-more-on-leak-detection.patch2020-05-29 14:13 15K 
0097-FIXME-initial-implementation-of-state-purging.patch2020-05-29 14:13 14K 
0069-FIXME-WIP-on-malloc-and-alloca.patch2020-05-29 14:13 14K 
0150-FIXME-eliminate-base-class-region2-get_representativ.patch2020-05-29 14:13 14K 
0068-FIXME-WIP-on-pointer-arithmetic-and-on-function-poin.patch2020-05-29 14:13 13K 
0049-FIXME-introduce-store2-and-store2_manager-classes.patch2020-05-29 14:13 13K 
0074-FIXME-implement-offset_region2-get-msg-1-e-working-i.patch2020-05-29 14:13 13K 
0175-FIXME-add-touched-flag-to-clusters.patch2020-05-29 14:13 13K 
0161-FIXME-fix-double-free-of-unknown-in-CVE-2005-1689-mi.patch2020-05-29 14:13 12K 
0038-FIXME-introduce-initial-values.patch2020-05-29 14:13 12K 
0091-FIXME-WIP-on-state-change-events.patch2020-05-29 14:13 12K 
0078-FIXME-handle-escaped-regions.patch2020-05-29 14:13 12K 
0008-FIXME-begin-using-uniq_manager-in-revamp-state.h-cc.patch2020-05-29 14:13 12K 
0002-FIXME-add-non-working-testcase-for-PR-93355-intl-loc.patch2020-05-29 14:13 11K 
0143-FIXME-introduce-cast_region2-use-it-to-fix-test_51.patch2020-05-29 14:13 11K 
0075-FIXME-enough-interprocedural-code-for-returning-a-va.patch2020-05-29 14:13 11K 
0137-FIXME-memset-improvements.patch2020-05-29 14:13 11K 
0112-FIXME-WIP-on-CONSTRUCTOR-default-bindings-etc.patch2020-05-29 14:13 11K 
0017-FIXME-initial-bad-implementation-of-immutable_hash_m.patch2020-05-29 14:13 11K 
0115-FIXME-get-extracting-a-zero-field-from-a-zero-filled.patch2020-05-29 14:13 11K 
0040-FIXME-more-on-wiring-up-region_model2-into-program_s.patch2020-05-29 14:13 11K 
0094-FIXME-handle-sm-state-changes-from-conditionals.patch2020-05-29 14:13 10K 
0037-FIXME-implement-offsets-for-fields-needed-to-use-bit.patch2020-05-29 14:13 10K 
0044-FIXME-WIP-on-getting-test_stack_frames-to-work.patch2020-05-29 14:13 10K 
0116-FIXME-move-call-handling-to-impl_-subroutines.patch2020-05-29 14:13 10K 
0131-FIXME-add-POINTER_DIFF_EXPR-and-BIT_FIELD_REF-adding.patch2020-05-29 14:13 10K 
0003-FIXME-add-non-working-testcase-for-PR-93032-zlib-con.patch2020-05-29 14:13 10K 
0122-FIXME-remove-ifdef-out-svalue2-hash-add_to_hash-prin.patch2020-05-29 14:13 9.9K 
0146-FIXME-get-signal-1.c-to-work.patch2020-05-29 14:13 9.8K 
0007-FIXME-initial-impl-of-uniq_manager.patch2020-05-29 14:13 9.7K 
0011-FIXME-more-WIP-on-state-revamp-mostly-JSON-support.patch2020-05-29 14:13 9.7K 
0048-FIXME-implement-symbolic_region2.patch2020-05-29 14:13 9.5K 
0113-FIXME-move-binding_key2-kind-to-top-level.patch2020-05-29 14:13 9.5K 
0092-FIXME-enough-get_representative-to-get-state_change_.patch2020-05-29 14:13 9.5K 
0073-FIXME-get-str-0-working.patch2020-05-29 14:13 9.3K 
0035-FIXME-start-introducing-region_offset.patch2020-05-29 14:13 9.3K 
0086-FIXME-initial-implementation-of-labels.patch2020-05-29 14:13 8.8K 
0186-FIXME-store2-set_value-check-both-ways-for-clusters-.patch2020-05-29 14:14 8.4K 
0072-FIXME-add-string_region2.patch2020-05-29 14:13 8.3K 
0103-FIXME-WIP-on-leaks-trying-to-get-at-all-ssa-names.patch2020-05-29 14:13 8.1K 
0098-FIXME-add-test_svalue2_folding.patch2020-05-29 14:13 8.1K 
0174-FIXME-WIP-on-symbolic-bindings.patch2020-05-29 14:13 7.9K 
0118-FIXME-pass-enode_for_diag-to-get_or_create_node.patch2020-05-29 14:13 7.7K 
0056-FIXME-initial-impl-of-unary-ops.patch2020-05-29 14:13 7.1K 
0054-FIXME-initial-WIP-on-binops.patch2020-05-29 14:13 7.1K 
0060-FIXME-implement-clobbering.patch2020-05-29 14:13 7.1K 
0018-FIXME-WIP-on-binding-clusters.patch2020-05-29 14:13 7.1K 
0134-FIXME-handle-gassign-of-STRING_CST.patch2020-05-29 14:13 7.0K 
0140-FIXME-get-test_12d-to-work-field-extraction-after-a-.patch2020-05-29 14:13 6.8K 
0144-FIXME-remove-redundant-ctxt-param-from-region_model2.patch2020-05-29 14:13 6.7K 
0047-FIXME-get-simple-dereferencing-working.patch2020-05-29 14:13 6.7K 
0013-FIXME-WIP-on-element_region-and-field_region.patch2020-05-29 14:13 6.7K 
0061-FIXME-get-first-__analyzer_eval-to-work.patch2020-05-29 14:13 6.5K 
0036-FIXME-more-on-region_offset.patch2020-05-29 14:13 6.5K 
0104-FIXME-implement-poisoned_svalue2.patch2020-05-29 14:13 6.3K 
0010-FIXME-consolidate-store-and-revamp_states.patch2020-05-29 14:13 6.3K 
0121-FIXME-add-log_stats-of-managed-objects.patch2020-05-29 14:13 6.3K 
0009-FIXME-use-uniq_manager-more-in-revamp-state.h-cc.patch2020-05-29 14:13 6.2K 
0180-FIXME-some-more-unary-op-folding.patch2020-05-29 14:14 6.0K 
0164-FIXME-fixups-to-test-suite.patch2020-05-29 14:13 5.8K 
0021-FIXME-start-adding-conjured_savl.patch2020-05-29 14:13 5.5K 
0066-FIXME-improvements-to-dumping.patch2020-05-29 14:13 5.5K 
0065-FIXME-first-10-__analyzer_eval-of-data-model-1.c-wor.patch2020-05-29 14:13 5.3K 
0136-FIXME-cleanups.patch2020-05-29 14:13 5.1K 
0079-FIXME-treat-regions-pointer-to-by-initial-values-of-.patch2020-05-29 14:13 5.1K 
0016-FIXME-WIP-on-smarter-region-bindings.patch2020-05-29 14:13 5.0K 
0173-FIXME-remove-redundant-checks-for-NULL-in-region_mod.patch2020-05-29 14:13 5.0K 
0076-FIXME-group-by-parent-region-when-dumping-store.patch2020-05-29 14:13 4.8K 
0107-FIXME-WIP-on-leak-detection.patch2020-05-29 14:13 4.8K 
0160-FIXME-simplify-dumping-of-regions-with-a-simple-dire.patch2020-05-29 14:13 4.7K 
0111-FIXME-non-working-test-cases-for-brace-enclosed-init.patch2020-05-29 14:13 4.6K 
0126-FIXME-eliminate-ifdef-out-print_fields.patch2020-05-29 14:13 4.6K 
0179-FIXME-WIP-on-symbolic-5.c-aliasing.patch2020-05-29 14:14 4.5K 
0084-FIXME-handle-pure-fns-known-fns-and-fn-ptrs-with-han.patch2020-05-29 14:13 4.5K 
0130-FIXME-add-cast-in-region_model2-get_store_value-fold.patch2020-05-29 14:13 4.5K 
0187-FIXME-implement-__analyzer_describe.patch2020-05-29 14:14 4.5K 
0193-FIXME-fix-flickering-test-in-data-model-14.c.patch2020-05-29 14:14 4.4K 
0138-FIXME-subvalues-of-unknown-are-unknown.patch2020-05-29 14:13 4.4K 
0006-FIXME-more-on-experiment.patch2020-05-29 14:13 4.3K 
0052-FIXME-fix-region_model2-copy-ctor.patch2020-05-29 14:13 4.3K 
0051-FIXME-fix-region_model2-operator.patch2020-05-29 14:13 4.1K 
0108-FIXME-more-WIP-on-leak-detection.patch2020-05-29 14:13 4.0K 
0172-FIXME-cleanups.patch2020-05-29 14:13 4.0K 
0125-FIXME-eliminate-ifdef-out-dump_child_label.patch2020-05-29 14:13 4.0K 
0120-FIXME-pass-ctxt-to-on_stmt-on_gassign-on_greturn.patch2020-05-29 14:13 4.0K 
0183-FIXME-fold-associative-ops-add-refcounting-test.patch2020-05-29 14:14 3.9K 
0012-FIXME-try-colorizing-JSON-output.patch2020-05-29 14:13 3.8K 
0123-FIXME-add-cover-letter.txt.patch2020-05-29 14:13 3.7K 
0170-FIXME-call-simplify_for_binding-in-binding_cluster2-.patch2020-05-29 14:13 3.5K 
0182-FIXME-more-on-binop-simplification.patch2020-05-29 14:14 3.5K 
0093-FIXME-handle-initial_svalues-in-get_representative_t.patch2020-05-29 14:13 3.3K 
0088-FIXME-disable-ICE-ing-tests-in-data-model-1.c-for-no.patch2020-05-29 14:13 3.3K 
0171-FIXME-introduce-impl_call_analyzer_eval.patch2020-05-29 14:13 3.1K 
0124-FIXME-eliminate-ifdef-out-clone-vfuncs.patch2020-05-29 14:13 3.0K 
0062-FIXME-first-5-__analyzer_eval-of-data-model1.c-work.patch2020-05-29 14:13 2.8K 
0033-FIXME-WIP-on-C-fix.patch2020-05-29 14:13 2.8K 
0030-FIXME-WIP-on-binding-clusters.patch2020-05-29 14:13 2.7K 
0184-FIXME-update-store2.h-intro.patch2020-05-29 14:14 2.7K 
0166-FIXME-implement-record_critical_state-for-EK_RETURN_.patch2020-05-29 14:13 2.6K 
0110-FIXME-fixups-to-support-single-line-dumps.patch2020-05-29 14:13 2.5K 
0083-FIXME-get-arg-passing-working.patch2020-05-29 14:13 2.4K 
0176-FIXME-handle-symbolic-bindings-vs-zero-init.patch2020-05-29 14:13 2.4K 
0167-FIXME-re-enable-add_any_constraints_from_ssa_def_stm.patch2020-05-29 14:13 2.4K 
0141-FIXME-handle-__builtin_memset-and-thus-bzero.patch2020-05-29 14:13 2.3K 
0029-FIXME-eliminate-copy-of-make_region_for_type.patch2020-05-29 14:13 2.3K 
0128-FIXME-various-fixes.patch2020-05-29 14:13 2.3K 
0165-FIXME-implement-record_critical_state-for-EK_CALL_ED.patch2020-05-29 14:13 2.2K 
0133-FIXME-fix-type-mismatch-in-MEM_REF-handling.patch2020-05-29 14:13 2.2K 
0059-FIXME-more-cleanups.patch2020-05-29 14:13 2.2K 
0129-FIXME-dump_to_pp-fixes.patch2020-05-29 14:13 2.1K 
0057-FIXME-implement-region_model2_manager.patch2020-05-29 14:13 2.1K 
0019-FIXME-more-tests.patch2020-05-29 14:13 2.1K 
0058-FIXME-bare-bones-impl-of-GIMPLE_CALL.patch2020-05-29 14:13 2.0K 
0158-FIXME-fix-bogus-leak-detection-on-INIT_VAL.patch2020-05-29 14:13 1.9K 
0067-WIP-on-selftest-test_POINTER_PLUS_EXPR_then_MEM_REF.patch2020-05-29 14:13 1.9K 
0081-FIXME-support-unaryop-and-binaryops.patch2020-05-29 14:13 1.8K 
0022-FIXME-WIP-on-state.patch2020-05-29 14:13 1.8K 
0127-FIXME-tweaks-to-comments.patch2020-05-29 14:13 1.8K 
0181-FIXME-simplify-maybe_fold_binop.patch2020-05-29 14:14 1.8K 
0102-FIXME-analyzer-logging.h-expose-inc_indent-dec_inden.patch2020-05-29 14:13 1.7K 
0045-FIXME-enable-test_assignment.patch2020-05-29 14:13 1.7K 
0001-FIXME-add-logger-to-extrinsic_state.patch2020-05-29 14:13 1.7K 
0156-FIXME-allow-unknown_svalue2-to-have-NULL-type.patch2020-05-29 14:13 1.7K 
0135-FIXME-another-cast-case.patch2020-05-29 14:13 1.6K 
0027-FIXME-cleanups.patch2020-05-29 14:13 1.6K 
0031-FIXME-implement-region2-get_base_region.patch2020-05-29 14:13 1.5K 
0178-FIXME-add-failing-symbolic-5.c.patch2020-05-29 14:14 1.5K 
0151-FIXME-handle-ABS_EXPR-and-ABSU_EXPR.patch2020-05-29 14:13 1.5K 
0041-FIXME-silence-some-warnings.patch2020-05-29 14:13 1.5K 
0152-FIXME-implement-region_model2-update_for_call_summar.patch2020-05-29 14:13 1.5K 
0042-FIXME-WIP-on-on_stmt.patch2020-05-29 14:13 1.4K 
0053-FIXME-WIP-on-data-model-1.c.patch2020-05-29 14:13 1.4K 
0101-FIXME-add-binding_key2-dump.patch2020-05-29 14:13 1.4K 
0159-FIXME-fix-typo.patch2020-05-29 14:13 1.3K 
0155-FIXME-implement-REALPART_EXPR-and-IMAGPART_EXPR.patch2020-05-29 14:13 1.3K 
0142-FIXME-data-model-1.c-does-not-ICE.patch2020-05-29 14:13 1.3K 
0189-FIXME-fix-missing-call-to-update_for_phis.patch2020-05-29 14:14 1.3K 
0099-FIXME-add-aliasing-1.c-WIP.patch2020-05-29 14:13 1.3K 
0157-FIXME-handle-phi-nodes.patch2020-05-29 14:13 1.2K 
0063-FIXME-first-7-__analyzer_eval-of-data-model1.c-work.patch2020-05-29 14:13 1.2K 
0082-FIXME-mark-test-as-passing.patch2020-05-29 14:13 1.2K 
0192-FIXME-fix-ICE-on-global-state-changes-sm-signal-.c.patch2020-05-29 14:14 1.2K 
0064-FIXME-first-9-__analyzer_eval-of-data-model1.c-work.patch2020-05-29 14:13 1.2K 
0168-FIXME-simplify-no-leak-in-main-logic.patch2020-05-29 14:13 1.1K 
0188-FIXME-handle-negative-offsets-in-calc_offset.patch2020-05-29 14:14 1.1K 
0185-FIXME-add-symbolic-6.c.patch2020-05-29 14:14 1.1K 
0070-FIXME-implement-region_model2-copy_region.patch2020-05-29 14:13 1.0K 
0190-FIXME-update-data-model-13.c-for-fix.patch2020-05-29 14:14 1.0K 
0163-FIXME-pass-var-and-origin-trees-to-describe_state_ch.patch2020-05-29 14:13 1.0K 
0071-FIXME-remove-xfail.patch2020-05-29 14:13 1.0K 
0055-FIXME-fold-binops.patch2020-05-29 14:13 1.0K 
0153-FIXME-handle-more-binary-ops.patch2020-05-29 14:13 1.0K 
0149-FIXME-handle-NULL-original-type-in-maybe_fold_unaryo.patch2020-05-29 14:13 972  
0169-FIXME-remove-sval-comparison-from-saved_diagnostic-o.patch2020-05-29 14:13 953  
0096-FIXME-fix-missing-initialization-in-region_model2-up.patch2020-05-29 14:13 945  
0105-FIXME-log-stmt-in-exploded_node-on_stmt.patch2020-05-29 14:13 942  
0015-FIXME-fix-move-ctor.patch2020-05-29 14:13 928  
0177-FIXME-add-casts-2.c.patch2020-05-29 14:14 912  
0117-FIXME-set-input_location-in-exploded_node-on_stmt-pr.patch2020-05-29 14:13 902  
0154-FIXME-fix-missing-cast-in-region_model2-get_store_va.patch2020-05-29 14:13 872  
0080-FIXME-mark-test-as-passing.patch2020-05-29 14:13 868  
0148-FIXME-strip-away-casts-in-region_model2-get_represen.patch2020-05-29 14:13 821  
0139-FIXME-fix-__analyzer_dump-to-use-the-correct-state.patch2020-05-29 14:13 795  
0191-FIXME-add-leak-2.c.patch2020-05-29 14:14 715  
0095-FIXME-disable-verbose-testing.patch2020-05-29 14:13 705  
0020-FIXME-fix-mem_region-get_base_region.patch2020-05-29 14:13 701