NameLast modifiedSizeDescription
Parent Directory  -  
0096-FIXME-fix-missing-initialization-in-region_model2-up.patch2020-04-30 21:21 943  
0095-FIXME-disable-verbose-testing.patch2020-04-30 21:21 703  
0094-FIXME-handle-sm-state-changes-from-conditionals.patch2020-04-30 21:21 10K 
0093-FIXME-handle-initial_svalues-in-get_representative_t.patch2020-04-30 21:21 3.3K 
0092-FIXME-enough-get_representative-to-get-state_change_.patch2020-04-30 21:21 9.5K 
0091-FIXME-WIP-on-state-change-events.patch2020-04-30 21:21 12K 
0090-FIXME-sm-state-enough-for-first-double-free-to-be-em.patch2020-04-30 21:21 30K 
0089-FIXME-WIP-on-sm-state-for-revamped-model.patch2020-04-30 21:21 42K 
0088-FIXME-disable-ICE-ing-tests-in-data-model-1.c-for-no.patch2020-04-30 21:21 3.3K 
0087-FIXME-WIP-on-constraints-implementation.patch2020-04-30 21:21 80K 
0086-FIXME-initial-implementation-of-labels.patch2020-04-30 21:21 8.8K 
0085-FIXME-eliminate-map_region2-in-favor-of-a-new-space_.patch2020-04-30 21:21 21K 
0084-FIXME-handle-pure-fns-known-fns-and-fn-ptrs-with-han.patch2020-04-30 21:21 4.5K 
0083-FIXME-get-arg-passing-working.patch2020-04-30 21:21 2.4K 
0082-FIXME-mark-test-as-passing.patch2020-04-30 21:21 1.2K 
0081-FIXME-support-unaryop-and-binaryops.patch2020-04-30 21:21 1.8K 
0080-FIXME-mark-test-as-passing.patch2020-04-30 21:21 866  
0079-FIXME-treat-regions-pointer-to-by-initial-values-of-.patch2020-04-30 21:21 5.1K 
0078-FIXME-handle-escaped-regions.patch2020-04-30 21:21 12K 
0077-FIXME-initial-implementation-of-handle_unrecognized_.patch2020-04-30 21:21 15K 
0076-FIXME-group-by-parent-region-when-dumping-store.patch2020-04-30 21:21 4.8K 
0075-FIXME-enough-interprocedural-code-for-returning-a-va.patch2020-04-30 21:21 11K 
0074-FIXME-implement-offset_region2-get-msg-1-e-working-i.patch2020-04-30 21:21 13K 
0073-FIXME-get-str-0-working.patch2020-04-30 21:21 9.3K 
0072-FIXME-add-string_region2.patch2020-04-30 21:21 8.3K 
0071-FIXME-remove-xfail.patch2020-04-30 21:21 1.0K 
0070-FIXME-implement-region_model2-copy_region.patch2020-04-30 21:21 1.0K 
0069-FIXME-WIP-on-malloc-and-alloca.patch2020-04-30 21:21 14K 
0068-FIXME-WIP-on-pointer-arithmetic-and-on-function-poin.patch2020-04-30 21:21 13K 
0067-WIP-on-selftest-test_POINTER_PLUS_EXPR_then_MEM_REF.patch2020-04-30 21:21 1.9K 
0066-FIXME-improvements-to-dumping.patch2020-04-30 21:21 5.5K 
0065-FIXME-first-10-__analyzer_eval-of-data-model-1.c-wor.patch2020-04-30 21:21 5.2K 
0064-FIXME-first-9-__analyzer_eval-of-data-model1.c-work.patch2020-04-30 21:21 1.2K 
0063-FIXME-first-7-__analyzer_eval-of-data-model1.c-work.patch2020-04-30 21:21 1.2K 
0062-FIXME-first-5-__analyzer_eval-of-data-model1.c-work.patch2020-04-30 21:21 2.8K 
0061-FIXME-get-first-__analyzer_eval-to-work.patch2020-04-30 21:21 6.5K 
0060-FIXME-implement-clobbering.patch2020-04-30 21:21 7.1K 
0059-FIXME-more-cleanups.patch2020-04-30 21:21 2.2K 
0058-FIXME-bare-bones-impl-of-GIMPLE_CALL.patch2020-04-30 21:21 2.0K 
0057-FIXME-implement-region_model2_manager.patch2020-04-30 21:21 2.1K 
0056-FIXME-initial-impl-of-unary-ops.patch2020-04-30 21:21 7.1K 
0055-FIXME-fold-binops.patch2020-04-30 21:21 1.0K 
0054-FIXME-initial-WIP-on-binops.patch2020-04-30 21:21 7.1K 
0053-FIXME-WIP-on-data-model-1.c.patch2020-04-30 21:21 1.4K 
0052-FIXME-fix-region_model2-copy-ctor.patch2020-04-30 21:21 4.3K 
0051-FIXME-fix-region_model2-operator.patch2020-04-30 21:21 4.1K 
0050-FIXME-move-store-code-a-new-store2.cc-h.patch2020-04-30 21:21 31K 
0049-FIXME-introduce-store2-and-store2_manager-classes.patch2020-04-30 21:21 13K 
0048-FIXME-implement-symbolic_region2.patch2020-04-30 21:21 9.5K 
0047-FIXME-get-simple-dereferencing-working.patch2020-04-30 21:21 6.7K 
0046-FIXME-avoid-passing-manager-ptr-around-rename-canoni.patch2020-04-30 21:21 48K 
0045-FIXME-enable-test_assignment.patch2020-04-30 21:21 1.7K 
0044-FIXME-WIP-on-getting-test_stack_frames-to-work.patch2020-04-30 21:21 10K 
0043-FIXME-WIP-towards-locals.patch2020-04-30 21:21 29K 
0042-FIXME-WIP-on-on_stmt.patch2020-04-30 21:21 1.4K 
0041-FIXME-silence-some-warnings.patch2020-04-30 21:21 1.5K 
0040-FIXME-more-on-wiring-up-region_model2-into-program_s.patch2020-04-30 21:21 11K 
0039-FIXME-start-wiring-up-region_model2-into-program_sta.patch2020-04-30 21:21 30K 
0038-FIXME-introduce-initial-values.patch2020-04-30 21:21 12K 
0037-FIXME-implement-offsets-for-fields-needed-to-use-bit.patch2020-04-30 21:21 10K 
0036-FIXME-more-on-region_offset.patch2020-04-30 21:21 6.5K 
0035-FIXME-start-introducing-region_offset.patch2020-04-30 21:21 9.3K 
0034-FIXME-start-adding-array-handling.patch2020-04-30 21:21 18K 
0033-FIXME-WIP-on-C-fix.patch2020-04-30 21:21 2.8K 
0032-FIXME-more-WIP-on-bindings.patch2020-04-30 21:21 22K 
0031-FIXME-implement-region2-get_base_region.patch2020-04-30 21:21 1.5K 
0030-FIXME-WIP-on-binding-clusters.patch2020-04-30 21:21 2.7K 
0029-FIXME-eliminate-copy-of-make_region_for_type.patch2020-04-30 21:21 2.3K 
0028-FIXME-eliminate-primitive_region2-struct_or_union_re.patch2020-04-30 21:21 21K 
0027-FIXME-cleanups.patch2020-04-30 21:21 1.6K 
0026-FIXME-start-reworking-region-subclasses.patch2020-04-30 21:21 17K 
0025-FIXME-WIP-towards-binding-values-to-regions.patch2020-04-30 21:21 22K 
0024-FIXME-enough-to-get-it-to-link.patch2020-04-30 21:21 44K 
0023-FIXME-WIP-on-revamp_state-2-region_model2.patch2020-04-30 21:21 295K 
0022-FIXME-WIP-on-state.patch2020-04-30 21:21 1.8K 
0021-FIXME-start-adding-conjured_savl.patch2020-04-30 21:21 5.5K 
0020-FIXME-fix-mem_region-get_base_region.patch2020-04-30 21:21 699  
0019-FIXME-more-tests.patch2020-04-30 21:21 2.1K 
0018-FIXME-WIP-on-binding-clusters.patch2020-04-30 21:21 7.0K 
0017-FIXME-initial-bad-implementation-of-immutable_hash_m.patch2020-04-30 21:21 11K 
0016-FIXME-WIP-on-smarter-region-bindings.patch2020-04-30 21:21 5.0K 
0015-FIXME-fix-move-ctor.patch2020-04-30 21:21 926  
0014-FIXME-split-out-mem_region-into-a-separate-hierarchy.patch2020-04-30 21:21 24K 
0013-FIXME-WIP-on-element_region-and-field_region.patch2020-04-30 21:21 6.7K 
0012-FIXME-try-colorizing-JSON-output.patch2020-04-30 21:21 3.8K 
0011-FIXME-more-WIP-on-state-revamp-mostly-JSON-support.patch2020-04-30 21:21 9.7K 
0010-FIXME-consolidate-store-and-revamp_states.patch2020-04-30 21:21 6.3K 
0009-FIXME-use-uniq_manager-more-in-revamp-state.h-cc.patch2020-04-30 21:21 6.2K 
0008-FIXME-begin-using-uniq_manager-in-revamp-state.h-cc.patch2020-04-30 21:21 12K 
0007-FIXME-initial-impl-of-uniq_manager.patch2020-04-30 21:21 9.7K 
0006-FIXME-more-on-experiment.patch2020-04-30 21:21 4.3K 
0005-FIXME-WIP-on-an-alternate-to-region_model.patch2020-04-30 21:21 21K 
0004-NOT_FOR_UPSTREAM-test-coverage.patch2020-04-30 21:21 1.0M 
0003-FIXME-add-non-working-testcase-for-PR-93032-zlib-con.patch2020-04-30 21:21 10K 
0002-FIXME-add-non-working-testcase-for-PR-93355-intl-loc.patch2020-04-30 21:21 11K 
0001-FIXME-add-logger-to-extrinsic_state.patch2020-04-30 21:21 1.7K