├── .clang-format ├── .gitignore ├── .travis.yml ├── CMakeLists.txt ├── LICENSE ├── README.md ├── benchmarks ├── SAPI_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── af_tremolo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── asrc_sine_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── avgpool_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── avrndec_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── avstring_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── box_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── brstm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── ckh.pic_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── classifier_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── coco_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── col2im_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── connected_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── crnn_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── curl-tool_cb_dbg_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── curl-tool_cb_prg_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── date_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── debug_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── describe_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── dnxhddata_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── evict_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── ewah_rlw_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── expire_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── fastcgi_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── geo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── geohash_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── getopt_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── git_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── go_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── gru_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── http-walker_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── http_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── idcin_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── intset_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── iseg_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── json-writer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── large.sym_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── lauxlib_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── lbaselib_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── lcode_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-content_encoding_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-cookie_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-ftp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-ftplistparser_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-http_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-imap_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-mime_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-ntlm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-openssl_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-parsedate_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-pop3_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-progress_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-smb_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-smtp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-socks_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-tftp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-transfer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── libcurl_la-vtls_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── local_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── lolwut5_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── lsd_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── lua_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── main_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── matrix_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── memtest_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── mergesort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── mscc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── name-rev_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── network_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── normalization_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── pack-write_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── pathspec_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── pcm-dvdenc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── php_variables_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── quicklist_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── rangecoder_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── read-cache_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── reorg_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── rfc1867_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── rnn_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── roqaudioenc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── route_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── rtpenc_h263_rfc2190_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── segafilm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── shallow_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── sigchain_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── sipr16k_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── sort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── sparkline_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── spprintf_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── stats.pic_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── stats.sym_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── strbuf_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── streaming_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── string-list_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── t_set_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── transport-helper_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── tree-walk_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── tree_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── trim_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── tta_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── upsample_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── vf_idet_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── vf_maskedclamp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── vf_vibrance_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── ws-snd1_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── xdiff-interface_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── xemit_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── yolo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_execute_API_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_execute_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_generators_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_interfaces_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_language_scanner_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_llist_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_objects_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_smart_str_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── zend_sort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc └── zend_virtual_cwd_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc ├── clam_arch.jpg ├── cmake ├── TargetArch.cmake └── cotire.cmake ├── demo ├── test.c └── test.c.dot.png ├── docker ├── clam-full-size-rel.Dockerfile └── readme.md ├── include └── clam │ ├── AbstractDomain.hh │ ├── CfgBuilder.hh │ ├── CfgBuilderParams.hh │ ├── Clam.hh │ ├── ClamAnalysisParams.hh │ ├── DummyHeapAbstraction.hh │ ├── HeapAbstraction.hh │ ├── LlvmDsaHeapAbstraction.hh │ ├── Passes.hh │ ├── SeaDsaHeapAbstraction.hh │ ├── Support │ ├── Boost.hh │ ├── CFG.hh │ ├── Debug.hh │ └── NameValues.hh │ ├── Transforms │ ├── DevirtFunctions.hh │ └── InsertInvariants.hh │ └── config.h.cmake ├── lib ├── CMakeLists.txt ├── Clam │ ├── CMakeLists.txt │ ├── CfgBuilder.cc │ ├── CfgBuilderLit.cc │ ├── CfgBuilderLit.hh │ ├── CfgBuilderMemRegions.hh │ ├── CfgBuilderShadowMem.cc │ ├── CfgBuilderShadowMem.hh │ ├── CfgBuilderUtils.cc │ ├── CfgBuilderUtils.hh │ ├── Clam.cc │ ├── ClamOptions.def │ ├── InsertInvariants.cc │ ├── LlvmDsaHeapAbstraction.cc │ ├── NameValues.cc │ ├── SeaDsaHeapAbstraction.cc │ ├── SeaDsaHeapAbstractionDsaToRegion.cc │ ├── SeaDsaHeapAbstractionDsaToRegion.hh │ ├── SeaDsaHeapAbstractionUtils.cc │ └── SeaDsaHeapAbstractionUtils.hh └── Transforms │ ├── CMakeLists.txt │ ├── DevirtFunctions.cc │ ├── DevirtFunctionsPass.cc │ ├── ExternalizeAddressTakenFunctions.cc │ ├── LowerCstExpr.cc │ ├── LowerGvInitializers.cc │ ├── LowerSelect.cc │ ├── LowerUnsignedICmp.cc │ ├── MarkInternalInline.cc │ ├── PromoteAssume.cc │ ├── PromoteMalloc.cc │ └── RemoveUnreachableBlocksPass.cc ├── py ├── CMakeLists.txt ├── clam.py ├── optAI.py ├── optAI_example.py ├── sets.py ├── setup.py └── stats.py ├── setup.py ├── tailor ├── __init__.py ├── __main__.py ├── cost │ ├── __init__.py │ └── default.py ├── optimization_algorithms │ ├── __init__.py │ ├── clam_parameters.py │ ├── dars │ │ ├── __init__.py │ │ ├── dars.py │ │ └── sets.py │ ├── hc │ │ ├── __init__.py │ │ └── hc.py │ ├── rs │ │ ├── __init__.py │ │ └── rs.py │ └── sa │ │ ├── __init__.py │ │ └── sa.py ├── test.c └── utils │ ├── __init__.py │ ├── file_operations.py │ └── other_utils.py ├── tests ├── CMakeLists.txt ├── demo │ ├── demo1.c │ ├── demo2 │ ├── demo2.c │ └── lit.local.cfg ├── lit.cfg ├── ntdrivers-simplified │ ├── cdaudio_simpl1_false-unreach-call_true-termination.cil.c │ ├── cdaudio_simpl1_true-unreach-call_true-termination.cil.c │ ├── diskperf_simpl1_true-unreach-call_true-termination.cil.c │ ├── floppy_simpl3_false-unreach-call_true-termination.cil.c │ ├── floppy_simpl3_true-unreach-call_true-termination.cil.c │ ├── floppy_simpl4_false-unreach-call_true-termination.cil.c │ ├── floppy_simpl4_true-unreach-call_true-termination.cil.c │ ├── kbfiltr_simpl1_true-unreach-call_true-termination.cil.c │ ├── kbfiltr_simpl2_false-unreach-call_true-termination.cil.c │ ├── kbfiltr_simpl2_true-unreach-call_true-termination.cil.c │ └── lit.local.cfg ├── simple │ ├── fntest-1.c │ ├── fntest-1.unsafe.c │ ├── fntest-2.c │ ├── fntest-3.c │ ├── fntest-4.c │ ├── fntest-5.c │ ├── fntest-6.c │ ├── fntest-7.c │ ├── lit.local.cfg │ ├── test-arr-1-local.c │ ├── test-arr-1.c │ ├── test-arr-1.unsafe.c │ ├── test-arr-10.c │ ├── test-arr-11.c │ ├── test-arr-2.c │ ├── test-arr-3.c │ ├── test-arr-4.c │ ├── test-arr-4.unsafe.c │ ├── test-arr-4.warning.c │ ├── test-arr-5.c │ ├── test-arr-6.c │ ├── test-arr-7.c │ ├── test-arr-8.c │ ├── test-arr-9.c │ ├── test-cond-1.c │ ├── test-count-by-one.c │ ├── test-count-by-one.fail.c │ ├── test-global-1.c │ ├── test-global-1.unsafe.c │ ├── test-global-2.c │ ├── test-heap-translation-1.c │ ├── test-heap-translation-1.non_singleton.crab │ ├── test-heap-translation-1.singleton.crab │ ├── test-list-1.c │ ├── test-loop-1.c │ ├── test-loop-1.unsafe.c │ ├── test-loop-2.c │ ├── test-loop-3.c │ ├── test-memset.c │ ├── test-nested-1.c │ ├── test-nested-2.c │ ├── test-nested-3.c │ ├── test-nested-4.c │ ├── test-octagons.c │ ├── test-pagai.c │ ├── test-ptr-1.c │ ├── test-ptr-2.c │ ├── test-ptr-3.c │ ├── test-ptr-4.c │ ├── test-ptr-5.c │ ├── test-ptr-6.c │ ├── test-ptr-7.c │ ├── test-switch-1.c │ ├── test-switch-2.c │ ├── test-term-1.c │ ├── test-term-2.c │ ├── test-term-3.c │ ├── test-term-4.c │ ├── test-term-5.c │ ├── test-wrapped.c │ ├── test-zones-2.c │ ├── test-zones.c │ └── test-zones.unsafe.c ├── ssh-simplified │ ├── lit.local.cfg │ ├── s3_clnt_1_false-unreach-call.cil.c │ ├── s3_clnt_1_true-unreach-call.cil.c │ ├── s3_clnt_2_false-unreach-call_true-termination.cil.c │ ├── s3_clnt_2_true-unreach-call_true-termination.cil.c │ ├── s3_clnt_3.cil_true-unreach-call_true-termination.c │ ├── s3_clnt_3_false-unreach-call.cil.c │ ├── s3_clnt_3_true-unreach-call.cil.c │ ├── s3_clnt_4_false-unreach-call.cil.c │ ├── s3_clnt_4_true-unreach-call.cil.c │ ├── s3_srvr_10_false-unreach-call.cil.c │ ├── s3_srvr_11_false-unreach-call.cil.c │ ├── s3_srvr_12_false-unreach-call.cil.c │ ├── s3_srvr_13_false-unreach-call.cil.c │ ├── s3_srvr_14_false-unreach-call.cil.c │ ├── s3_srvr_1_false-unreach-call.cil.c │ ├── s3_srvr_1_true-unreach-call.cil.c │ ├── s3_srvr_1a_true-unreach-call.cil.c │ ├── s3_srvr_1b_true-unreach-call_false-termination.cil.c │ ├── s3_srvr_2_false-unreach-call.cil.c │ ├── s3_srvr_2_true-unreach-call.cil.c │ ├── s3_srvr_3_true-unreach-call.cil.c │ ├── s3_srvr_4_true-unreach-call.cil.c │ ├── s3_srvr_6_false-unreach-call.cil.c │ ├── s3_srvr_6_true-unreach-call.cil.c │ ├── s3_srvr_7_true-unreach-call.cil.c │ └── s3_srvr_8_true-unreach-call.cil.c └── ssh │ ├── lit.local.cfg │ ├── s3_clnt.blast.01_true-unreach-call.i.cil.c │ ├── s3_clnt.blast.02_true-unreach-call.i.cil.c │ ├── s3_clnt.blast.03_true-unreach-call.i.cil.c │ ├── s3_clnt.blast.04_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.01_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.02_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.06_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.07_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.08_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.09_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.10_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.11_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.12_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.13_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.14_true-unreach-call.i.cil.c │ ├── s3_srvr.blast.15_true-unreach-call.i.cil.c │ └── s3_srvr.blast.16_true-unreach-call.i.cil.c └── tools ├── CMakeLists.txt ├── clam-pp.cc └── clam.cc /.clang-format: -------------------------------------------------------------------------------- 1 | --- 2 | BasedOnStyle: LLVM 3 | AllowShortFunctionsOnASingleLine: All 4 | IndentWidth: '2' 5 | 6 | ... 7 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/.travis.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/README.md -------------------------------------------------------------------------------- /benchmarks/SAPI_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/SAPI_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/af_tremolo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/af_tremolo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/asrc_sine_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/asrc_sine_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/avgpool_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/avgpool_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/avrndec_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/avrndec_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/avstring_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/avstring_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/box_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/box_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/brstm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/brstm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/ckh.pic_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/ckh.pic_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/classifier_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/classifier_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/coco_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/coco_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/col2im_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/col2im_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/connected_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/connected_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/crnn_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/crnn_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/curl-tool_cb_dbg_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/curl-tool_cb_dbg_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/curl-tool_cb_prg_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/curl-tool_cb_prg_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/date_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/date_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/debug_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/debug_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/describe_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/describe_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/dnxhddata_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/dnxhddata_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/evict_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/evict_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/ewah_rlw_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/ewah_rlw_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/expire_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/expire_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/fastcgi_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/fastcgi_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/geo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/geo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/geohash_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/geohash_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/getopt_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/getopt_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/git_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/git_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/go_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/go_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/gru_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/gru_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/http-walker_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/http-walker_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/http_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/http_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/idcin_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/idcin_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/intset_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/intset_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/iseg_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/iseg_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/json-writer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/json-writer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/large.sym_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/large.sym_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/lauxlib_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/lauxlib_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/lbaselib_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/lbaselib_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/lcode_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/lcode_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-content_encoding_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-content_encoding_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-cookie_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-cookie_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-ftp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-ftp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-ftplistparser_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-ftplistparser_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-http_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-http_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-imap_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-imap_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-mime_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-mime_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-ntlm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-ntlm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-openssl_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-openssl_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-parsedate_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-parsedate_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-pop3_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-pop3_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-progress_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-progress_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-smb_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-smb_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-smtp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-smtp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-socks_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-socks_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-tftp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-tftp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-transfer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-transfer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/libcurl_la-vtls_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/libcurl_la-vtls_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/local_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/local_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/lolwut5_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/lolwut5_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/lsd_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/lsd_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/lua_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/lua_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/main_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/main_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/matrix_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/matrix_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/memtest_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/memtest_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/mergesort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/mergesort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/mscc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/mscc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/name-rev_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/name-rev_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/network_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/network_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/normalization_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/normalization_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/pack-write_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/pack-write_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/pathspec_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/pathspec_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/pcm-dvdenc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/pcm-dvdenc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/php_variables_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/php_variables_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/quicklist_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/quicklist_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/rangecoder_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/rangecoder_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/read-cache_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/read-cache_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/reorg_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/reorg_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/rfc1867_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/rfc1867_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/rnn_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/rnn_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/roqaudioenc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/roqaudioenc_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/route_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/route_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/rtpenc_h263_rfc2190_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/rtpenc_h263_rfc2190_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/segafilm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/segafilm_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/shallow_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/shallow_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/sigchain_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/sigchain_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/sipr16k_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/sipr16k_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/sort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/sort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/sparkline_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/sparkline_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/spprintf_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/spprintf_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/stats.pic_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/stats.pic_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/stats.sym_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/stats.sym_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/strbuf_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/strbuf_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/streaming_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/streaming_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/string-list_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/string-list_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/t_set_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/t_set_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/transport-helper_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/transport-helper_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/tree-walk_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/tree-walk_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/tree_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/tree_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/trim_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/trim_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/tta_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/tta_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/upsample_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/upsample_layer_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/vf_idet_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/vf_idet_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/vf_maskedclamp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/vf_maskedclamp_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/vf_vibrance_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/vf_vibrance_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/ws-snd1_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/ws-snd1_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/xdiff-interface_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/xdiff-interface_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/xemit_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/xemit_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/yolo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/yolo_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_execute_API_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_execute_API_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_execute_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_execute_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_generators_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_generators_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_interfaces_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_interfaces_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_language_scanner_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_language_scanner_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_llist_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_llist_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_objects_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_objects_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_smart_str_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_smart_str_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_sort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_sort_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /benchmarks/zend_virtual_cwd_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/benchmarks/zend_virtual_cwd_DivByZeroCheck_IntOverflowManualCheck_BufferOverflowCheck_UseAfterFreeShadowCheck.bc -------------------------------------------------------------------------------- /clam_arch.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/clam_arch.jpg -------------------------------------------------------------------------------- /cmake/TargetArch.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/cmake/TargetArch.cmake -------------------------------------------------------------------------------- /cmake/cotire.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/cmake/cotire.cmake -------------------------------------------------------------------------------- /demo/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/demo/test.c -------------------------------------------------------------------------------- /demo/test.c.dot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/demo/test.c.dot.png -------------------------------------------------------------------------------- /docker/clam-full-size-rel.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/docker/clam-full-size-rel.Dockerfile -------------------------------------------------------------------------------- /docker/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/docker/readme.md -------------------------------------------------------------------------------- /include/clam/AbstractDomain.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/AbstractDomain.hh -------------------------------------------------------------------------------- /include/clam/CfgBuilder.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/CfgBuilder.hh -------------------------------------------------------------------------------- /include/clam/CfgBuilderParams.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/CfgBuilderParams.hh -------------------------------------------------------------------------------- /include/clam/Clam.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Clam.hh -------------------------------------------------------------------------------- /include/clam/ClamAnalysisParams.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/ClamAnalysisParams.hh -------------------------------------------------------------------------------- /include/clam/DummyHeapAbstraction.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/DummyHeapAbstraction.hh -------------------------------------------------------------------------------- /include/clam/HeapAbstraction.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/HeapAbstraction.hh -------------------------------------------------------------------------------- /include/clam/LlvmDsaHeapAbstraction.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/LlvmDsaHeapAbstraction.hh -------------------------------------------------------------------------------- /include/clam/Passes.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Passes.hh -------------------------------------------------------------------------------- /include/clam/SeaDsaHeapAbstraction.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/SeaDsaHeapAbstraction.hh -------------------------------------------------------------------------------- /include/clam/Support/Boost.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Support/Boost.hh -------------------------------------------------------------------------------- /include/clam/Support/CFG.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Support/CFG.hh -------------------------------------------------------------------------------- /include/clam/Support/Debug.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Support/Debug.hh -------------------------------------------------------------------------------- /include/clam/Support/NameValues.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Support/NameValues.hh -------------------------------------------------------------------------------- /include/clam/Transforms/DevirtFunctions.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Transforms/DevirtFunctions.hh -------------------------------------------------------------------------------- /include/clam/Transforms/InsertInvariants.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/Transforms/InsertInvariants.hh -------------------------------------------------------------------------------- /include/clam/config.h.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/include/clam/config.h.cmake -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Clam/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Clam/CfgBuilder.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilder.cc -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderLit.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderLit.cc -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderLit.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderLit.hh -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderMemRegions.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderMemRegions.hh -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderShadowMem.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderShadowMem.cc -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderShadowMem.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderShadowMem.hh -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderUtils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderUtils.cc -------------------------------------------------------------------------------- /lib/Clam/CfgBuilderUtils.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/CfgBuilderUtils.hh -------------------------------------------------------------------------------- /lib/Clam/Clam.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/Clam.cc -------------------------------------------------------------------------------- /lib/Clam/ClamOptions.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/ClamOptions.def -------------------------------------------------------------------------------- /lib/Clam/InsertInvariants.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/InsertInvariants.cc -------------------------------------------------------------------------------- /lib/Clam/LlvmDsaHeapAbstraction.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/LlvmDsaHeapAbstraction.cc -------------------------------------------------------------------------------- /lib/Clam/NameValues.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/NameValues.cc -------------------------------------------------------------------------------- /lib/Clam/SeaDsaHeapAbstraction.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/SeaDsaHeapAbstraction.cc -------------------------------------------------------------------------------- /lib/Clam/SeaDsaHeapAbstractionDsaToRegion.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/SeaDsaHeapAbstractionDsaToRegion.cc -------------------------------------------------------------------------------- /lib/Clam/SeaDsaHeapAbstractionDsaToRegion.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/SeaDsaHeapAbstractionDsaToRegion.hh -------------------------------------------------------------------------------- /lib/Clam/SeaDsaHeapAbstractionUtils.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/SeaDsaHeapAbstractionUtils.cc -------------------------------------------------------------------------------- /lib/Clam/SeaDsaHeapAbstractionUtils.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Clam/SeaDsaHeapAbstractionUtils.hh -------------------------------------------------------------------------------- /lib/Transforms/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Transforms/DevirtFunctions.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/DevirtFunctions.cc -------------------------------------------------------------------------------- /lib/Transforms/DevirtFunctionsPass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/DevirtFunctionsPass.cc -------------------------------------------------------------------------------- /lib/Transforms/ExternalizeAddressTakenFunctions.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/ExternalizeAddressTakenFunctions.cc -------------------------------------------------------------------------------- /lib/Transforms/LowerCstExpr.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/LowerCstExpr.cc -------------------------------------------------------------------------------- /lib/Transforms/LowerGvInitializers.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/LowerGvInitializers.cc -------------------------------------------------------------------------------- /lib/Transforms/LowerSelect.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/LowerSelect.cc -------------------------------------------------------------------------------- /lib/Transforms/LowerUnsignedICmp.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/LowerUnsignedICmp.cc -------------------------------------------------------------------------------- /lib/Transforms/MarkInternalInline.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/MarkInternalInline.cc -------------------------------------------------------------------------------- /lib/Transforms/PromoteAssume.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/PromoteAssume.cc -------------------------------------------------------------------------------- /lib/Transforms/PromoteMalloc.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/PromoteMalloc.cc -------------------------------------------------------------------------------- /lib/Transforms/RemoveUnreachableBlocksPass.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/lib/Transforms/RemoveUnreachableBlocksPass.cc -------------------------------------------------------------------------------- /py/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/CMakeLists.txt -------------------------------------------------------------------------------- /py/clam.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/clam.py -------------------------------------------------------------------------------- /py/optAI.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/optAI.py -------------------------------------------------------------------------------- /py/optAI_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/optAI_example.py -------------------------------------------------------------------------------- /py/sets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/sets.py -------------------------------------------------------------------------------- /py/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/setup.py -------------------------------------------------------------------------------- /py/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/py/stats.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/setup.py -------------------------------------------------------------------------------- /tailor/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/__main__.py -------------------------------------------------------------------------------- /tailor/cost/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/cost/default.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/cost/default.py -------------------------------------------------------------------------------- /tailor/optimization_algorithms/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/optimization_algorithms/clam_parameters.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/optimization_algorithms/clam_parameters.py -------------------------------------------------------------------------------- /tailor/optimization_algorithms/dars/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/optimization_algorithms/dars/dars.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/optimization_algorithms/dars/dars.py -------------------------------------------------------------------------------- /tailor/optimization_algorithms/dars/sets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/optimization_algorithms/dars/sets.py -------------------------------------------------------------------------------- /tailor/optimization_algorithms/hc/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/optimization_algorithms/hc/hc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/optimization_algorithms/hc/hc.py -------------------------------------------------------------------------------- /tailor/optimization_algorithms/rs/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/optimization_algorithms/rs/rs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/optimization_algorithms/rs/rs.py -------------------------------------------------------------------------------- /tailor/optimization_algorithms/sa/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/optimization_algorithms/sa/sa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/optimization_algorithms/sa/sa.py -------------------------------------------------------------------------------- /tailor/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/test.c -------------------------------------------------------------------------------- /tailor/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tailor/utils/file_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/utils/file_operations.py -------------------------------------------------------------------------------- /tailor/utils/other_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tailor/utils/other_utils.py -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/demo/demo1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/demo/demo1.c -------------------------------------------------------------------------------- /tests/demo/demo2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/demo/demo2 -------------------------------------------------------------------------------- /tests/demo/demo2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/demo/demo2.c -------------------------------------------------------------------------------- /tests/demo/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/demo/lit.local.cfg -------------------------------------------------------------------------------- /tests/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/lit.cfg -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ntdrivers-simplified/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ntdrivers-simplified/lit.local.cfg -------------------------------------------------------------------------------- /tests/simple/fntest-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-1.c -------------------------------------------------------------------------------- /tests/simple/fntest-1.unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-1.unsafe.c -------------------------------------------------------------------------------- /tests/simple/fntest-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-2.c -------------------------------------------------------------------------------- /tests/simple/fntest-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-3.c -------------------------------------------------------------------------------- /tests/simple/fntest-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-4.c -------------------------------------------------------------------------------- /tests/simple/fntest-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-5.c -------------------------------------------------------------------------------- /tests/simple/fntest-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-6.c -------------------------------------------------------------------------------- /tests/simple/fntest-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/fntest-7.c -------------------------------------------------------------------------------- /tests/simple/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/lit.local.cfg -------------------------------------------------------------------------------- /tests/simple/test-arr-1-local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-1-local.c -------------------------------------------------------------------------------- /tests/simple/test-arr-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-1.c -------------------------------------------------------------------------------- /tests/simple/test-arr-1.unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-1.unsafe.c -------------------------------------------------------------------------------- /tests/simple/test-arr-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-10.c -------------------------------------------------------------------------------- /tests/simple/test-arr-11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-11.c -------------------------------------------------------------------------------- /tests/simple/test-arr-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-2.c -------------------------------------------------------------------------------- /tests/simple/test-arr-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-3.c -------------------------------------------------------------------------------- /tests/simple/test-arr-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-4.c -------------------------------------------------------------------------------- /tests/simple/test-arr-4.unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-4.unsafe.c -------------------------------------------------------------------------------- /tests/simple/test-arr-4.warning.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-4.warning.c -------------------------------------------------------------------------------- /tests/simple/test-arr-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-5.c -------------------------------------------------------------------------------- /tests/simple/test-arr-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-6.c -------------------------------------------------------------------------------- /tests/simple/test-arr-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-7.c -------------------------------------------------------------------------------- /tests/simple/test-arr-8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-8.c -------------------------------------------------------------------------------- /tests/simple/test-arr-9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-arr-9.c -------------------------------------------------------------------------------- /tests/simple/test-cond-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-cond-1.c -------------------------------------------------------------------------------- /tests/simple/test-count-by-one.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-count-by-one.c -------------------------------------------------------------------------------- /tests/simple/test-count-by-one.fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-count-by-one.fail.c -------------------------------------------------------------------------------- /tests/simple/test-global-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-global-1.c -------------------------------------------------------------------------------- /tests/simple/test-global-1.unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-global-1.unsafe.c -------------------------------------------------------------------------------- /tests/simple/test-global-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-global-2.c -------------------------------------------------------------------------------- /tests/simple/test-heap-translation-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-heap-translation-1.c -------------------------------------------------------------------------------- /tests/simple/test-heap-translation-1.non_singleton.crab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-heap-translation-1.non_singleton.crab -------------------------------------------------------------------------------- /tests/simple/test-heap-translation-1.singleton.crab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-heap-translation-1.singleton.crab -------------------------------------------------------------------------------- /tests/simple/test-list-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-list-1.c -------------------------------------------------------------------------------- /tests/simple/test-loop-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-loop-1.c -------------------------------------------------------------------------------- /tests/simple/test-loop-1.unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-loop-1.unsafe.c -------------------------------------------------------------------------------- /tests/simple/test-loop-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-loop-2.c -------------------------------------------------------------------------------- /tests/simple/test-loop-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-loop-3.c -------------------------------------------------------------------------------- /tests/simple/test-memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-memset.c -------------------------------------------------------------------------------- /tests/simple/test-nested-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-nested-1.c -------------------------------------------------------------------------------- /tests/simple/test-nested-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-nested-2.c -------------------------------------------------------------------------------- /tests/simple/test-nested-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-nested-3.c -------------------------------------------------------------------------------- /tests/simple/test-nested-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-nested-4.c -------------------------------------------------------------------------------- /tests/simple/test-octagons.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-octagons.c -------------------------------------------------------------------------------- /tests/simple/test-pagai.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-pagai.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-1.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-2.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-3.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-4.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-5.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-6.c -------------------------------------------------------------------------------- /tests/simple/test-ptr-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-ptr-7.c -------------------------------------------------------------------------------- /tests/simple/test-switch-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-switch-1.c -------------------------------------------------------------------------------- /tests/simple/test-switch-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-switch-2.c -------------------------------------------------------------------------------- /tests/simple/test-term-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-term-1.c -------------------------------------------------------------------------------- /tests/simple/test-term-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-term-2.c -------------------------------------------------------------------------------- /tests/simple/test-term-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-term-3.c -------------------------------------------------------------------------------- /tests/simple/test-term-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-term-4.c -------------------------------------------------------------------------------- /tests/simple/test-term-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-term-5.c -------------------------------------------------------------------------------- /tests/simple/test-wrapped.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-wrapped.c -------------------------------------------------------------------------------- /tests/simple/test-zones-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-zones-2.c -------------------------------------------------------------------------------- /tests/simple/test-zones.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-zones.c -------------------------------------------------------------------------------- /tests/simple/test-zones.unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/simple/test-zones.unsafe.c -------------------------------------------------------------------------------- /tests/ssh-simplified/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/lit.local.cfg -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_1_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_1_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_1_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_1_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_3_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_3_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_3_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_3_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_4_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_4_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_clnt_4_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_clnt_4_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_10_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_10_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_11_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_11_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_12_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_12_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_13_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_13_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_14_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_14_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_1_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_1_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_1_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_1_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_2_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_2_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_2_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_2_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_3_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_3_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_4_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_4_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_6_false-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_6_false-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_6_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_6_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_7_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_7_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh-simplified/s3_srvr_8_true-unreach-call.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh-simplified/s3_srvr_8_true-unreach-call.cil.c -------------------------------------------------------------------------------- /tests/ssh/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/lit.local.cfg -------------------------------------------------------------------------------- /tests/ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tests/ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tests/ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/clam-pp.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tools/clam-pp.cc -------------------------------------------------------------------------------- /tools/clam.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Practical-Formal-Methods/tailor/HEAD/tools/clam.cc --------------------------------------------------------------------------------