NameLast modifiedSizeDescription
Parent Directory  -  
0004-NOT_FOR_UPSTREAM-test-coverage.patch2020-05-14 19:46 1.0M 
0023-FIXME-WIP-on-revamp_state-2-region_model2.patch2020-05-14 19:46 295K 
0100-FIXME-make-all-svalue2-and-region2-ptrs-const-except.patch2020-05-14 19:46 157K 
0087-FIXME-WIP-on-constraints-implementation.patch2020-05-14 19:46 80K 
0046-FIXME-avoid-passing-manager-ptr-around-rename-canoni.patch2020-05-14 19:46 48K 
0024-FIXME-enough-to-get-it-to-link.patch2020-05-14 19:46 44K 
0089-FIXME-WIP-on-sm-state-for-revamped-model.patch2020-05-14 19:46 42K 
0132-FIXME-initial-WIP-on-state-merging.patch2020-05-14 19:46 37K 
0050-FIXME-move-store-code-a-new-store2.cc-h.patch2020-05-14 19:46 31K 
0039-FIXME-start-wiring-up-region_model2-into-program_sta.patch2020-05-14 19:46 30K 
0090-FIXME-sm-state-enough-for-first-double-free-to-be-em.patch2020-05-14 19:46 30K 
0043-FIXME-WIP-towards-locals.patch2020-05-14 19:46 29K 
0014-FIXME-split-out-mem_region-into-a-separate-hierarchy.patch2020-05-14 19:46 24K 
0025-FIXME-WIP-towards-binding-values-to-regions.patch2020-05-14 19:46 22K 
0032-FIXME-more-WIP-on-bindings.patch2020-05-14 19:46 22K 
0085-FIXME-eliminate-map_region2-in-favor-of-a-new-space_.patch2020-05-14 19:46 21K 
0028-FIXME-eliminate-primitive_region2-struct_or_union_re.patch2020-05-14 19:46 21K 
0005-FIXME-WIP-on-an-alternate-to-region_model.patch2020-05-14 19:46 21K 
0114-FIXME-WIP-on-capturing-concrete-bindings-purely-as-b.patch2020-05-14 19:46 21K 
0119-FIXME-initial-port-of-setjmp-longjmp.patch2020-05-14 19:46 18K 
0034-FIXME-start-adding-array-handling.patch2020-05-14 19:46 18K 
0026-FIXME-start-reworking-region-subclasses.patch2020-05-14 19:46 17K 
0106-FIXME-support-single-line-dumps.patch2020-05-14 19:46 17K 
0077-FIXME-initial-implementation-of-handle_unrecognized_.patch2020-05-14 19:46 15K 
0109-FIXME-yet-more-on-leak-detection.patch2020-05-14 19:46 15K 
0097-FIXME-initial-implementation-of-state-purging.patch2020-05-14 19:46 14K 
0069-FIXME-WIP-on-malloc-and-alloca.patch2020-05-14 19:46 14K 
0068-FIXME-WIP-on-pointer-arithmetic-and-on-function-poin.patch2020-05-14 19:46 13K 
0049-FIXME-introduce-store2-and-store2_manager-classes.patch2020-05-14 19:46 13K 
0074-FIXME-implement-offset_region2-get-msg-1-e-working-i.patch2020-05-14 19:46 13K 
0038-FIXME-introduce-initial-values.patch2020-05-14 19:46 12K 
0091-FIXME-WIP-on-state-change-events.patch2020-05-14 19:46 12K 
0078-FIXME-handle-escaped-regions.patch2020-05-14 19:46 12K 
0008-FIXME-begin-using-uniq_manager-in-revamp-state.h-cc.patch2020-05-14 19:46 12K 
0002-FIXME-add-non-working-testcase-for-PR-93355-intl-loc.patch2020-05-14 19:46 11K 
0075-FIXME-enough-interprocedural-code-for-returning-a-va.patch2020-05-14 19:46 11K 
0112-FIXME-WIP-on-CONSTRUCTOR-default-bindings-etc.patch2020-05-14 19:46 11K 
0017-FIXME-initial-bad-implementation-of-immutable_hash_m.patch2020-05-14 19:46 11K 
0115-FIXME-get-extracting-a-zero-field-from-a-zero-filled.patch2020-05-14 19:46 11K 
0040-FIXME-more-on-wiring-up-region_model2-into-program_s.patch2020-05-14 19:46 11K 
0094-FIXME-handle-sm-state-changes-from-conditionals.patch2020-05-14 19:46 10K 
0037-FIXME-implement-offsets-for-fields-needed-to-use-bit.patch2020-05-14 19:46 10K 
0044-FIXME-WIP-on-getting-test_stack_frames-to-work.patch2020-05-14 19:46 10K 
0116-FIXME-move-call-handling-to-impl_-subroutines.patch2020-05-14 19:46 10K 
0131-FIXME-add-POINTER_DIFF_EXPR-and-BIT_FIELD_REF-adding.patch2020-05-14 19:46 10K 
0003-FIXME-add-non-working-testcase-for-PR-93032-zlib-con.patch2020-05-14 19:46 10K 
0122-FIXME-remove-ifdef-out-svalue2-hash-add_to_hash-prin.patch2020-05-14 19:46 9.9K 
0007-FIXME-initial-impl-of-uniq_manager.patch2020-05-14 19:46 9.7K 
0011-FIXME-more-WIP-on-state-revamp-mostly-JSON-support.patch2020-05-14 19:46 9.7K 
0048-FIXME-implement-symbolic_region2.patch2020-05-14 19:46 9.5K 
0113-FIXME-move-binding_key2-kind-to-top-level.patch2020-05-14 19:46 9.5K 
0092-FIXME-enough-get_representative-to-get-state_change_.patch2020-05-14 19:46 9.5K 
0073-FIXME-get-str-0-working.patch2020-05-14 19:46 9.3K 
0035-FIXME-start-introducing-region_offset.patch2020-05-14 19:46 9.3K 
0086-FIXME-initial-implementation-of-labels.patch2020-05-14 19:46 8.8K 
0072-FIXME-add-string_region2.patch2020-05-14 19:46 8.3K 
0103-FIXME-WIP-on-leaks-trying-to-get-at-all-ssa-names.patch2020-05-14 19:46 8.1K 
0098-FIXME-add-test_svalue2_folding.patch2020-05-14 19:46 8.1K 
0118-FIXME-pass-enode_for_diag-to-get_or_create_node.patch2020-05-14 19:46 7.7K 
0056-FIXME-initial-impl-of-unary-ops.patch2020-05-14 19:46 7.1K 
0054-FIXME-initial-WIP-on-binops.patch2020-05-14 19:46 7.1K 
0060-FIXME-implement-clobbering.patch2020-05-14 19:46 7.1K 
0018-FIXME-WIP-on-binding-clusters.patch2020-05-14 19:46 7.1K 
0047-FIXME-get-simple-dereferencing-working.patch2020-05-14 19:46 6.7K 
0013-FIXME-WIP-on-element_region-and-field_region.patch2020-05-14 19:46 6.7K 
0061-FIXME-get-first-__analyzer_eval-to-work.patch2020-05-14 19:46 6.5K 
0036-FIXME-more-on-region_offset.patch2020-05-14 19:46 6.5K 
0104-FIXME-implement-poisoned_svalue2.patch2020-05-14 19:46 6.3K 
0010-FIXME-consolidate-store-and-revamp_states.patch2020-05-14 19:46 6.3K 
0121-FIXME-add-log_stats-of-managed-objects.patch2020-05-14 19:46 6.3K 
0009-FIXME-use-uniq_manager-more-in-revamp-state.h-cc.patch2020-05-14 19:46 6.2K 
0021-FIXME-start-adding-conjured_savl.patch2020-05-14 19:46 5.5K 
0066-FIXME-improvements-to-dumping.patch2020-05-14 19:46 5.5K 
0065-FIXME-first-10-__analyzer_eval-of-data-model-1.c-wor.patch2020-05-14 19:46 5.3K 
0079-FIXME-treat-regions-pointer-to-by-initial-values-of-.patch2020-05-14 19:46 5.1K 
0016-FIXME-WIP-on-smarter-region-bindings.patch2020-05-14 19:46 5.0K 
0076-FIXME-group-by-parent-region-when-dumping-store.patch2020-05-14 19:46 4.8K 
0107-FIXME-WIP-on-leak-detection.patch2020-05-14 19:46 4.8K 
0111-FIXME-non-working-test-cases-for-brace-enclosed-init.patch2020-05-14 19:46 4.6K 
0126-FIXME-eliminate-ifdef-out-print_fields.patch2020-05-14 19:46 4.6K 
0084-FIXME-handle-pure-fns-known-fns-and-fn-ptrs-with-han.patch2020-05-14 19:46 4.5K 
0130-FIXME-add-cast-in-region_model2-get_store_value-fold.patch2020-05-14 19:46 4.5K 
0006-FIXME-more-on-experiment.patch2020-05-14 19:46 4.3K 
0052-FIXME-fix-region_model2-copy-ctor.patch2020-05-14 19:46 4.3K 
0051-FIXME-fix-region_model2-operator.patch2020-05-14 19:46 4.1K 
0108-FIXME-more-WIP-on-leak-detection.patch2020-05-14 19:46 4.0K 
0125-FIXME-eliminate-ifdef-out-dump_child_label.patch2020-05-14 19:46 4.0K 
0120-FIXME-pass-ctxt-to-on_stmt-on_gassign-on_greturn.patch2020-05-14 19:46 4.0K 
0012-FIXME-try-colorizing-JSON-output.patch2020-05-14 19:46 3.8K 
0123-FIXME-add-cover-letter.txt.patch2020-05-14 19:46 3.7K 
0093-FIXME-handle-initial_svalues-in-get_representative_t.patch2020-05-14 19:46 3.3K 
0088-FIXME-disable-ICE-ing-tests-in-data-model-1.c-for-no.patch2020-05-14 19:46 3.3K 
0124-FIXME-eliminate-ifdef-out-clone-vfuncs.patch2020-05-14 19:46 3.0K 
0062-FIXME-first-5-__analyzer_eval-of-data-model1.c-work.patch2020-05-14 19:46 2.8K 
0033-FIXME-WIP-on-C-fix.patch2020-05-14 19:46 2.8K 
0030-FIXME-WIP-on-binding-clusters.patch2020-05-14 19:46 2.7K 
0110-FIXME-fixups-to-support-single-line-dumps.patch2020-05-14 19:46 2.5K 
0083-FIXME-get-arg-passing-working.patch2020-05-14 19:46 2.4K 
0029-FIXME-eliminate-copy-of-make_region_for_type.patch2020-05-14 19:46 2.3K 
0128-FIXME-various-fixes.patch2020-05-14 19:46 2.3K 
0059-FIXME-more-cleanups.patch2020-05-14 19:46 2.2K 
0129-FIXME-dump_to_pp-fixes.patch2020-05-14 19:46 2.1K 
0057-FIXME-implement-region_model2_manager.patch2020-05-14 19:46 2.1K 
0019-FIXME-more-tests.patch2020-05-14 19:46 2.1K 
0058-FIXME-bare-bones-impl-of-GIMPLE_CALL.patch2020-05-14 19:46 2.0K 
0067-WIP-on-selftest-test_POINTER_PLUS_EXPR_then_MEM_REF.patch2020-05-14 19:46 1.9K 
0081-FIXME-support-unaryop-and-binaryops.patch2020-05-14 19:46 1.8K 
0022-FIXME-WIP-on-state.patch2020-05-14 19:46 1.8K 
0127-FIXME-tweaks-to-comments.patch2020-05-14 19:46 1.8K 
0102-FIXME-analyzer-logging.h-expose-inc_indent-dec_inden.patch2020-05-14 19:46 1.7K 
0045-FIXME-enable-test_assignment.patch2020-05-14 19:46 1.7K 
0001-FIXME-add-logger-to-extrinsic_state.patch2020-05-14 19:46 1.7K 
0027-FIXME-cleanups.patch2020-05-14 19:46 1.6K 
0031-FIXME-implement-region2-get_base_region.patch2020-05-14 19:46 1.5K 
0041-FIXME-silence-some-warnings.patch2020-05-14 19:46 1.5K 
0042-FIXME-WIP-on-on_stmt.patch2020-05-14 19:46 1.4K 
0053-FIXME-WIP-on-data-model-1.c.patch2020-05-14 19:46 1.4K 
0101-FIXME-add-binding_key2-dump.patch2020-05-14 19:46 1.4K 
0099-FIXME-add-aliasing-1.c-WIP.patch2020-05-14 19:46 1.3K 
0063-FIXME-first-7-__analyzer_eval-of-data-model1.c-work.patch2020-05-14 19:46 1.2K 
0082-FIXME-mark-test-as-passing.patch2020-05-14 19:46 1.2K 
0064-FIXME-first-9-__analyzer_eval-of-data-model1.c-work.patch2020-05-14 19:46 1.2K 
0070-FIXME-implement-region_model2-copy_region.patch2020-05-14 19:46 1.0K 
0071-FIXME-remove-xfail.patch2020-05-14 19:46 1.0K 
0055-FIXME-fold-binops.patch2020-05-14 19:46 1.0K 
0096-FIXME-fix-missing-initialization-in-region_model2-up.patch2020-05-14 19:46 945  
0105-FIXME-log-stmt-in-exploded_node-on_stmt.patch2020-05-14 19:46 942  
0015-FIXME-fix-move-ctor.patch2020-05-14 19:46 928  
0117-FIXME-set-input_location-in-exploded_node-on_stmt-pr.patch2020-05-14 19:46 902  
0080-FIXME-mark-test-as-passing.patch2020-05-14 19:46 868  
0095-FIXME-disable-verbose-testing.patch2020-05-14 19:46 705  
0020-FIXME-fix-mem_region-get_base_region.patch2020-05-14 19:46 701