├── .gitignore ├── README.ROPC ├── README.md ├── bin └── .gitignore ├── doc ├── presentation │ └── compilador-rop.ekoparty-2013.slides.pdf └── src │ ├── .gitignore │ └── style.css ├── lib ├── .gitignore └── bap-0.4 │ ├── AUTHORS │ ├── BIGINT │ ├── COPYING │ ├── ChangeLog │ ├── INSTALL │ ├── Makefile │ ├── Makefile.am │ ├── Makefile.in │ ├── NEWS │ ├── NOTESTS │ ├── README │ ├── STYLE.C │ ├── STYLE.ocaml │ ├── TAGS │ ├── TODO │ ├── VEX │ ├── BAP.README │ ├── HACKING.README │ ├── LICENSE.GPL │ ├── LICENSE.README │ ├── Makefile │ ├── Makefile-gcc │ ├── Makefile-icc │ ├── TODO.txt │ ├── auxprogs │ │ └── genoffsets.c │ ├── bap_patch_20110908.patch │ ├── nanoarm.orig │ ├── newline.txt │ ├── orig_amd64 │ │ ├── Compare.hs │ │ ├── SortedToOrig.hs │ │ ├── test1.orig │ │ ├── test1.sorted │ │ ├── test2.orig │ │ └── test2.sorted │ ├── orig_arm │ │ ├── nanoarm │ │ └── nanoarm.orig │ ├── orig_ppc32 │ │ ├── date.orig │ │ ├── loadsafp.orig │ │ ├── morefp.orig │ │ └── return0.orig │ ├── orig_x86 │ │ ├── exit42.orig │ │ ├── fpu_mmx_sse.orig │ │ └── manyfp.orig │ ├── priv │ │ ├── guest_amd64_defs.h │ │ ├── guest_amd64_helpers.c │ │ ├── guest_amd64_toIR.c │ │ ├── guest_arm_defs.h │ │ ├── guest_arm_helpers.c │ │ ├── guest_arm_toIR.c │ │ ├── guest_generic_bb_to_IR.c │ │ ├── guest_generic_bb_to_IR.h │ │ ├── guest_generic_x87.c │ │ ├── guest_generic_x87.h │ │ ├── guest_ppc_defs.h │ │ ├── guest_ppc_helpers.c │ │ ├── guest_ppc_toIR.c │ │ ├── guest_s390_defs.h │ │ ├── guest_s390_helpers.c │ │ ├── guest_s390_toIR.c │ │ ├── guest_x86_defs.h │ │ ├── guest_x86_helpers.c │ │ ├── guest_x86_toIR.c │ │ ├── host_amd64_defs.c │ │ ├── host_amd64_defs.h │ │ ├── host_amd64_isel.c │ │ ├── host_arm_defs.c │ │ ├── host_arm_defs.h │ │ ├── host_arm_isel.c │ │ ├── host_generic_reg_alloc2.c │ │ ├── host_generic_regs.c │ │ ├── host_generic_regs.h │ │ ├── host_generic_simd128.c │ │ ├── host_generic_simd128.h │ │ ├── host_generic_simd64.c │ │ ├── host_generic_simd64.h │ │ ├── host_ppc_defs.c │ │ ├── host_ppc_defs.h │ │ ├── host_ppc_isel.c │ │ ├── host_s390_defs.c │ │ ├── host_s390_defs.h │ │ ├── host_s390_disasm.c │ │ ├── host_s390_disasm.h │ │ ├── host_s390_isel.c │ │ ├── host_x86_defs.c │ │ ├── host_x86_defs.h │ │ ├── host_x86_isel.c │ │ ├── ir_defs.c │ │ ├── ir_match.c │ │ ├── ir_match.h │ │ ├── ir_opt.c │ │ ├── ir_opt.h │ │ ├── main_globals.c │ │ ├── main_globals.h │ │ ├── main_main.c │ │ ├── main_util.c │ │ └── main_util.h │ ├── pub │ │ ├── libvex.h │ │ ├── libvex_basictypes.h │ │ ├── libvex_emwarn.h │ │ ├── libvex_guest_amd64.h │ │ ├── libvex_guest_arm.h │ │ ├── libvex_guest_ppc32.h │ │ ├── libvex_guest_ppc64.h │ │ ├── libvex_guest_s390x.h │ │ ├── libvex_guest_x86.h │ │ ├── libvex_ir.h │ │ ├── libvex_s390x_common.h │ │ └── libvex_trc_values.h │ ├── quote.txt │ ├── switchback │ │ ├── Makefile │ │ ├── binary_switchback.pl │ │ ├── linker.c │ │ ├── linker.h │ │ ├── switchback.c │ │ ├── test_bzip2.c │ │ ├── test_emfloat.c │ │ ├── test_hello.c │ │ ├── test_ppc_jm1.c │ │ └── test_simple.c │ ├── test │ │ ├── fldenv.c │ │ ├── fp1.c │ │ ├── fp1.s │ │ ├── fpconst.c │ │ ├── fpgames.s │ │ ├── fpspeed.c │ │ ├── fpucw.c │ │ ├── frstor.c │ │ ├── fsave.c │ │ ├── fstenv.c │ │ ├── fxsave.c │ │ ├── mmxtest.c │ │ ├── mxcsr.c │ │ ├── rounderr.c │ │ ├── test-amd64-muldiv.h │ │ ├── test-amd64-shift.h │ │ ├── test-amd64.c │ │ ├── test-amd64.h │ │ ├── test-i386-muldiv.h │ │ ├── test-i386-shift.h │ │ ├── test-i386.c │ │ ├── test-i386.h │ │ ├── x87fxam.c │ │ └── x87tst.c │ ├── test_main.c │ ├── test_main.h │ ├── test_main.h.base │ ├── unused │ │ ├── arena.h │ │ ├── dispatch.c │ │ └── linker.c │ └── useful │ │ ├── cpuid.c │ │ ├── fp_80_64.c │ │ ├── fpround.c │ │ ├── fspill.c │ │ ├── gradual_underflow.c │ │ ├── hd_fpu.c │ │ ├── show_fp_state.c │ │ ├── smchash.c │ │ └── x87_to_vex_and_back.c │ ├── aclocal.m4 │ ├── autogen.sh │ ├── autom4te.cache │ ├── output.0 │ ├── output.1 │ ├── requests │ ├── traces.0 │ └── traces.1 │ ├── batteries-1.4.0 │ ├── .gitignore │ ├── ChangeLog │ ├── FAQ │ ├── LICENSE │ ├── META.in │ ├── Makefile │ ├── README │ ├── README.folders │ ├── README.md │ ├── VERSION │ ├── _oasis │ ├── _tags │ ├── batteries.odocl │ ├── battop.ml │ ├── benchsuite │ │ ├── README │ │ ├── _tags │ │ ├── bench_int.ml │ │ ├── bench_map.ml │ │ ├── bench_set.ml │ │ └── grouping.ml │ ├── build │ │ ├── README │ │ ├── camlzip │ │ │ ├── META │ │ │ └── Makefile │ │ ├── fix_camlp4_print.ml │ │ ├── import.ml │ │ ├── intro.text │ │ ├── make_suite.mll │ │ ├── mkconf.ml │ │ ├── myocamlbuild.ml │ │ ├── odoc_batteries_factored.ml │ │ ├── odoc_extract_mli.ml │ │ ├── odoc_generator_batlib.ml │ │ ├── odoc_tags.ml │ │ ├── optcomp │ │ │ ├── LICENSE │ │ │ ├── META │ │ │ ├── README │ │ │ ├── _tags │ │ │ ├── optcomp.ml │ │ │ ├── optcomp_o.ml │ │ │ ├── optcomp_r.ml │ │ │ ├── pa_optcomp.ml │ │ │ ├── sample.ml │ │ │ └── sample_incl.ml │ │ ├── packdoc.ml │ │ └── preprocess_mli │ │ │ ├── _tags │ │ │ ├── extract_mli.ml │ │ │ ├── generate_mli.ml │ │ │ └── preprocess_common.ml │ ├── byte.itarget │ ├── doc │ │ ├── batteries.svg │ │ ├── batteries │ │ │ ├── GUIDELINES │ │ │ ├── documentation.idex │ │ │ ├── html │ │ │ │ ├── about.html │ │ │ │ ├── batteries_large.png │ │ │ │ ├── extensions.html │ │ │ │ ├── guidelines.html │ │ │ │ ├── index.html │ │ │ │ ├── setup.html │ │ │ │ ├── style.css │ │ │ │ ├── toplevel.html │ │ │ │ ├── tutorial.html │ │ │ │ └── tutorial_godi.html │ │ │ ├── language.idex │ │ │ └── toplevel.help │ │ ├── batteries_large.png │ │ └── external_site_icon.gif │ ├── examples │ │ ├── README │ │ ├── _tags │ │ ├── benchmark │ │ │ ├── Makefile │ │ │ ├── _tags │ │ │ ├── arg2.ml │ │ │ ├── myocamlbuild.ml │ │ │ ├── run_tests.sh │ │ │ ├── t_enum.ml │ │ │ ├── t_list.ml │ │ │ ├── t_pow.ml │ │ │ ├── t_read.log │ │ │ ├── t_read.ml │ │ │ ├── t_read_stub.c │ │ │ └── t_strstr.ml │ │ ├── euler │ │ │ ├── Makefile │ │ │ ├── euler001.ml │ │ │ ├── euler008.ml │ │ │ ├── euler009.ml │ │ │ ├── euler010.ml │ │ │ ├── euler011.ml │ │ │ ├── euler012.ml │ │ │ ├── euler013.ml │ │ │ ├── euler014.ml │ │ │ ├── euler018.ml │ │ │ ├── euler019.ml │ │ │ ├── euler021.ml │ │ │ ├── euler022.ml │ │ │ ├── euler023.ml │ │ │ ├── euler024.ml │ │ │ ├── euler067.ml │ │ │ ├── mathlib.ml │ │ │ └── names.txt │ │ ├── pleac │ │ │ └── strings.ml │ │ ├── snippets │ │ │ ├── _tags │ │ │ ├── accumulator.ml │ │ │ ├── myocamlbuild.ml │ │ │ ├── netchan_cat.ml │ │ │ ├── parallelsort.ml │ │ │ ├── ropes_vs_strings.ml │ │ │ ├── snippets.itarget │ │ │ ├── test_printf.ml │ │ │ ├── unicode.ml │ │ │ └── unicode2.ml │ │ └── tools │ │ │ ├── _tags │ │ │ ├── browser.ml │ │ │ ├── cat.ml │ │ │ ├── cat2.ml │ │ │ ├── conv.ml │ │ │ ├── gunzip.ml │ │ │ ├── mygzip.ml │ │ │ ├── myocamlbuild.ml │ │ │ ├── now.ml │ │ │ ├── pair.ml │ │ │ ├── shuffle.ml │ │ │ ├── shuffle2.ml │ │ │ └── tools.itarget │ ├── libs │ │ ├── .gitignore │ │ ├── estring.itarget │ │ └── estring │ │ │ ├── LICENSE │ │ │ ├── META │ │ │ ├── Makefile │ │ │ ├── README │ │ │ ├── VERSION │ │ │ ├── _tags │ │ │ ├── pa_estring.ml │ │ │ ├── pa_estring.mli │ │ │ ├── pa_estring_top.ml │ │ │ └── sample │ │ │ ├── pa_string_list.ml │ │ │ └── sample.ml │ ├── myocamlbuild.ml │ ├── native.itarget │ ├── num │ ├── ocamlinit │ ├── qtest │ │ ├── _tags │ │ ├── quickcheck.ml │ │ ├── test_runner.ml │ │ └── tests.ml │ ├── setup.ml │ ├── shared.itarget │ ├── src │ │ ├── _tags │ │ ├── batArg.ml │ │ ├── batArg.mli │ │ ├── batArray.ml │ │ ├── batArray.mli │ │ ├── batAvlTree.ml │ │ ├── batAvlTree.mli │ │ ├── batBase64.ml │ │ ├── batBase64.mli │ │ ├── batBig_int.ml │ │ ├── batBig_int.mli │ │ ├── batBigarray.ml │ │ ├── batBigarray.mli │ │ ├── batBitSet.ml │ │ ├── batBitSet.mli │ │ ├── batBool.ml │ │ ├── batBool.mli │ │ ├── batBuffer.ml │ │ ├── batBuffer.mli │ │ ├── batCache.ml │ │ ├── batCache.mli │ │ ├── batCamomile-0.7.ml │ │ ├── batCamomile-0.8.1.ml │ │ ├── batCamomile-0.8.2.ml │ │ ├── batChar.ml │ │ ├── batChar.mli │ │ ├── batCharEncodings.ml │ │ ├── batCharEncodings.mli │ │ ├── batCharParser.ml │ │ ├── batCharParser.mli │ │ ├── batComplex.ml │ │ ├── batComplex.mli │ │ ├── batConcurrent.ml │ │ ├── batConcurrent.mli │ │ ├── batDeque.ml │ │ ├── batDeque.mli │ │ ├── batDigest.ml │ │ ├── batDigest.mli │ │ ├── batDllist.ml │ │ ├── batDllist.mli │ │ ├── batDynArray.ml │ │ ├── batDynArray.mli │ │ ├── batEnum.ml │ │ ├── batEnum.mli │ │ ├── batFile.ml │ │ ├── batFile.mli │ │ ├── batFloat.ml │ │ ├── batFloat.mli │ │ ├── batFormat.ml │ │ ├── batFormat.mli │ │ ├── batGc.ml │ │ ├── batGc.mli │ │ ├── batGenlex.ml │ │ ├── batGenlex.mli │ │ ├── batGlobal.ml │ │ ├── batGlobal.mli │ │ ├── batHashcons.ml │ │ ├── batHashcons.mli │ │ ├── batHashtbl.ml │ │ ├── batHashtbl.mli │ │ ├── batHeap.ml │ │ ├── batHeap.mli │ │ ├── batIMap.ml │ │ ├── batIMap.mli │ │ ├── batIO.ml │ │ ├── batIO.mli │ │ ├── batISet.ml │ │ ├── batISet.mli │ │ ├── batInnerIO.ml │ │ ├── batInnerIO.mli │ │ ├── batInnerWeaktbl.ml │ │ ├── batInnerWeaktbl.mli │ │ ├── batInt.ml │ │ ├── batInt.mli │ │ ├── batInt32.ml │ │ ├── batInt32.mli │ │ ├── batInt64.ml │ │ ├── batInt64.mli │ │ ├── batInterfaces.ml │ │ ├── batInterfaces.mli │ │ ├── batLazyList.ml │ │ ├── batLazyList.mli │ │ ├── batLexing.ml │ │ ├── batLexing.mli │ │ ├── batList.ml │ │ ├── batList.mli │ │ ├── batLogger.ml │ │ ├── batLogger.mli │ │ ├── batMap.ml │ │ ├── batMap.mli │ │ ├── batMarshal.ml │ │ ├── batMarshal.mli │ │ ├── batMonad.ml │ │ ├── batMonad.mli │ │ ├── batMultiPMap.ml │ │ ├── batMultiPMap.mli │ │ ├── batMutex.ml │ │ ├── batMutex.mli │ │ ├── batNativeint.ml │ │ ├── batNativeint.mli │ │ ├── batNum.ml │ │ ├── batNum.mli │ │ ├── batNumber.ml │ │ ├── batNumber.mli │ │ ├── batOo.ml │ │ ├── batOo.mli │ │ ├── batOptParse.ml │ │ ├── batOptParse.mli │ │ ├── batOption.ml │ │ ├── batOption.mli │ │ ├── batPMap.ml │ │ ├── batPMap.mli │ │ ├── batPSet.ml │ │ ├── batPSet.mli │ │ ├── batPair.ml │ │ ├── batPair.mli │ │ ├── batParserCo.ml │ │ ├── batParserCo.mli │ │ ├── batPathGen.ml │ │ ├── batPathGen.mli │ │ ├── batPervasives.ml │ │ ├── batPervasives.mli │ │ ├── batPrint.ml │ │ ├── batPrint.mli │ │ ├── batPrintexc.ml │ │ ├── batPrintexc.mli │ │ ├── batPrintf.ml │ │ ├── batPrintf.mli │ │ ├── batQueue.ml │ │ ├── batQueue.mli │ │ ├── batRMutex.ml │ │ ├── batRMutex.mli │ │ ├── batRandom.ml │ │ ├── batRandom.mli │ │ ├── batRef.ml │ │ ├── batRef.mli │ │ ├── batRefList.ml │ │ ├── batRefList.mli │ │ ├── batResult.ml │ │ ├── batResult.mli │ │ ├── batReturn.ml │ │ ├── batReturn.mli │ │ ├── batRope.ml │ │ ├── batRope.mli │ │ ├── batScanf.ml │ │ ├── batScanf.mli │ │ ├── batSeq.ml │ │ ├── batSeq.mli │ │ ├── batSet.ml │ │ ├── batSet.mli │ │ ├── batSplay.ml │ │ ├── batSplay.mli │ │ ├── batStack.ml │ │ ├── batStack.mli │ │ ├── batStd.ml │ │ ├── batStd.mli │ │ ├── batStr.ml │ │ ├── batStr.mli │ │ ├── batStream.ml │ │ ├── batStream.mli │ │ ├── batString.ml │ │ ├── batString.mli │ │ ├── batSubstring.ml │ │ ├── batSubstring.mli │ │ ├── batSys.ml │ │ ├── batSys.mli │ │ ├── batTuple.ml │ │ ├── batTuple.mli │ │ ├── batUChar.ml │ │ ├── batUChar.mli │ │ ├── batUCharParser.ml │ │ ├── batUCharParser.mli │ │ ├── batUTF8.ml │ │ ├── batUTF8.mli │ │ ├── batUnit.ml │ │ ├── batUnit.mli │ │ ├── batUnix.ml │ │ ├── batUnix.mli │ │ ├── batUref.ml │ │ ├── batUref.mli │ │ ├── batValue_printer.ml │ │ ├── batValue_printer.mli │ │ ├── batVect.ml │ │ ├── batVect.mli │ │ ├── batteries.ml │ │ ├── batteries.mllib │ │ ├── batteries_config.mli │ │ ├── batteries_config.mlp │ │ ├── batteries_help.ml │ │ ├── batteries_help.mli │ │ ├── batteries_print.ml │ │ ├── batteries_uni.ml │ │ ├── batteries_uni.mllib │ │ ├── extlibcompat.ml │ │ └── syntax │ │ │ ├── pa_comprehension │ │ │ ├── README │ │ │ ├── _tags │ │ │ └── pa_comprehension.ml │ │ │ ├── pa_llist │ │ │ ├── _tags │ │ │ └── pa_llist.ml │ │ │ └── pa_strings │ │ │ ├── _tags │ │ │ ├── pa_format.ml │ │ │ ├── pa_strings.ml │ │ │ └── pa_strings.mllib │ ├── syntax.itarget │ └── testsuite │ │ ├── _tags │ │ ├── main.ml │ │ ├── myocamlbuild.ml │ │ ├── test_base64.ml │ │ ├── test_digest.ml │ │ ├── test_dynarray.ml │ │ ├── test_enum.ml │ │ ├── test_file.ml │ │ ├── test_hashcons.ml │ │ ├── test_lazy_pattern.ml │ │ ├── test_map.ml │ │ ├── test_mapfunctors.ml │ │ ├── test_mappable.ml │ │ ├── test_multipmap.ml │ │ ├── test_pmap.ml │ │ ├── test_print.ml │ │ ├── test_set.ml │ │ ├── test_stack.ml │ │ ├── test_std.ml │ │ ├── test_string.ml │ │ ├── test_substring.ml │ │ ├── test_toplevel.ml │ │ ├── test_unix.ml │ │ └── test_vect.ml │ ├── bigint-3.12 │ ├── .cvsignore │ ├── .depend │ ├── Changes │ ├── INSTALL │ ├── LICENSE │ ├── Makefile │ ├── Makefile.nt │ ├── Makefile.old │ ├── README │ ├── README.win32 │ ├── Upgrading │ ├── VERSION │ ├── _tags │ ├── byterun │ │ ├── .cvsignore │ │ ├── .depend │ │ ├── Makefile │ │ ├── Makefile.common │ │ ├── Makefile.nt │ │ ├── alloc.c │ │ ├── alloc.h │ │ ├── array.c │ │ ├── backtrace.c │ │ ├── backtrace.h │ │ ├── callback.c │ │ ├── callback.h │ │ ├── compact.c │ │ ├── compact.h │ │ ├── compare.c │ │ ├── compare.h │ │ ├── compatibility.h │ │ ├── config.h │ │ ├── custom.c │ │ ├── custom.h │ │ ├── debugger.c │ │ ├── debugger.h │ │ ├── dynlink.c │ │ ├── dynlink.h │ │ ├── exec.h │ │ ├── extern.c │ │ ├── fail.c │ │ ├── fail.h │ │ ├── finalise.c │ │ ├── finalise.h │ │ ├── fix_code.c │ │ ├── fix_code.h │ │ ├── floats.c │ │ ├── freelist.c │ │ ├── freelist.h │ │ ├── gc.h │ │ ├── gc_ctrl.c │ │ ├── gc_ctrl.h │ │ ├── globroots.c │ │ ├── globroots.h │ │ ├── hash.c │ │ ├── instrtrace.c │ │ ├── instrtrace.h │ │ ├── instruct.h │ │ ├── int64_emul.h │ │ ├── int64_format.h │ │ ├── int64_native.h │ │ ├── intern.c │ │ ├── interp.c │ │ ├── interp.h │ │ ├── intext.h │ │ ├── ints.c │ │ ├── io.c │ │ ├── io.h │ │ ├── lexing.c │ │ ├── main.c │ │ ├── major_gc.c │ │ ├── major_gc.h │ │ ├── md5.c │ │ ├── md5.h │ │ ├── memory.c │ │ ├── memory.h │ │ ├── meta.c │ │ ├── minor_gc.c │ │ ├── minor_gc.h │ │ ├── misc.c │ │ ├── misc.h │ │ ├── mlvalues.h │ │ ├── obj.c │ │ ├── osdeps.h │ │ ├── parsing.c │ │ ├── prims.h │ │ ├── printexc.c │ │ ├── printexc.h │ │ ├── reverse.h │ │ ├── roots.c │ │ ├── roots.h │ │ ├── signals.c │ │ ├── signals.h │ │ ├── signals_byt.c │ │ ├── signals_machdep.h │ │ ├── stacks.c │ │ ├── stacks.h │ │ ├── startup.c │ │ ├── startup.h │ │ ├── str.c │ │ ├── sys.c │ │ ├── sys.h │ │ ├── terminfo.c │ │ ├── ui.h │ │ ├── unix.c │ │ ├── weak.c │ │ ├── weak.h │ │ └── win32.c │ ├── config │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── Makefile-templ │ │ ├── Makefile.mingw │ │ ├── Makefile.msvc │ │ ├── Makefile.msvc64 │ │ ├── auto-aux │ │ │ ├── .cvsignore │ │ │ ├── align.c │ │ │ ├── ansi.c │ │ │ ├── async_io.c │ │ │ ├── bytecopy.c │ │ │ ├── dblalign.c │ │ │ ├── divmod.c │ │ │ ├── elf.c │ │ │ ├── endian.c │ │ │ ├── getgroups.c │ │ │ ├── gethostbyaddr.c │ │ │ ├── gethostbyname.c │ │ │ ├── hasgot │ │ │ ├── ia32sse2.c │ │ │ ├── initgroups.c │ │ │ ├── int64align.c │ │ │ ├── longlong.c │ │ │ ├── runtest │ │ │ ├── schar.c │ │ │ ├── schar2.c │ │ │ ├── searchpath │ │ │ ├── setgroups.c │ │ │ ├── sharpbang │ │ │ ├── sharpbang2 │ │ │ ├── sighandler.c │ │ │ ├── signals.c │ │ │ ├── sizes.c │ │ │ ├── solaris-ld │ │ │ ├── stackov.c │ │ │ ├── tclversion.c │ │ │ └── trycompile │ │ ├── gnu │ │ │ ├── config.guess │ │ │ └── config.sub │ │ ├── m-nt.h │ │ ├── m-templ.h │ │ ├── m.h │ │ ├── s-nt.h │ │ ├── s-templ.h │ │ └── s.h │ ├── configure │ ├── myocamlbuild.ml │ ├── myocamlbuild_config.mli │ └── otherlibs │ │ ├── Makefile │ │ ├── Makefile.nt │ │ ├── Makefile.shared │ │ └── num │ │ ├── .cvsignore │ │ ├── .depend │ │ ├── .depend.nt │ │ ├── Makefile │ │ ├── Makefile.nt │ │ ├── README │ │ ├── arith_flags.ml │ │ ├── arith_flags.mli │ │ ├── arith_status.ml │ │ ├── arith_status.mli │ │ ├── big_int.ml │ │ ├── big_int.mli │ │ ├── bignum │ │ └── .cvsignore │ │ ├── bng.c │ │ ├── bng.h │ │ ├── bng_alpha.c │ │ ├── bng_amd64.c │ │ ├── bng_digit.c │ │ ├── bng_ia32.c │ │ ├── bng_mips.c │ │ ├── bng_ppc.c │ │ ├── bng_sparc.c │ │ ├── int_misc.ml │ │ ├── int_misc.mli │ │ ├── libnums.clib │ │ ├── nat.h │ │ ├── nat.ml │ │ ├── nat.mli │ │ ├── nat_stubs.c │ │ ├── num.ml │ │ ├── num.mli │ │ ├── nums.mllib │ │ ├── ratio.ml │ │ └── ratio.mli │ ├── config.log │ ├── config.status │ ├── configure │ ├── configure.ac │ ├── depcomp │ ├── doc │ ├── Makefile │ ├── bibtex │ │ ├── biblio.bib │ │ └── misc.bib │ ├── challenges.tex │ ├── chap-developer.tex │ ├── chap-developer │ │ └── overview.tex │ ├── chap-examples.tex │ ├── chap-examples │ │ ├── basic.S │ │ ├── basic.il │ │ ├── basic_mod.il │ │ ├── cdg.pdf │ │ ├── cfg.pdf │ │ ├── cfg_simp.pdf │ │ ├── conceval.tex │ │ ├── ddg.pdf │ │ ├── functions.tex │ │ ├── il.tex │ │ ├── test.c │ │ └── traces.tex │ ├── chap-formalism.tex │ ├── chap-formalism │ │ ├── language.tex │ │ ├── operational-semantics-table.tex │ │ ├── operational-semantics.tex │ │ ├── running-example.tex │ │ ├── syntax-table.tex │ │ ├── syntax.tex │ │ ├── typecheck-table.tex │ │ └── typecheck.tex │ ├── chap-intro.tex │ ├── chap-intro │ │ ├── intro.tex │ │ └── overview.tex │ ├── chap-tools.tex │ ├── chap-tools │ │ ├── discussion.tex │ │ ├── iltrans.tex │ │ ├── obtaining.tex │ │ ├── other-utils.tex │ │ ├── overview.tex │ │ └── toil.tex │ ├── code.sty │ ├── credits.tex │ ├── djb.sty │ ├── fig │ │ ├── Makefile │ │ ├── add-shl.dot │ │ ├── add-shl.pdf │ │ ├── components.fig │ │ ├── components.pdf │ │ ├── memvsarray-1.eps │ │ ├── memvsarray-1.fig │ │ ├── memvsarray-1.pdf │ │ ├── memvsarray-2.eps │ │ ├── memvsarray-2.fig │ │ ├── memvsarray-2.pdf │ │ ├── running-example-patch.eps │ │ ├── running-example-patch.fig │ │ ├── running-example-patch.pdf │ │ ├── running-example.eps │ │ ├── running-example.fig │ │ ├── running-example.pdf │ │ ├── toolchain.fig │ │ └── toolchain.pdf │ ├── goals.tex │ ├── just-formals │ │ ├── Makefile │ │ ├── code.sty │ │ ├── djb.sty │ │ ├── lecnotes.sty │ │ ├── proof.sty │ │ ├── shortcuts.sty │ │ └── vine.tex │ ├── lecnotes.sty │ ├── main.tex │ ├── operational-semantics-functions-table.tex │ ├── proof.sty │ ├── related.tex │ ├── running-asm.tex │ ├── running-il.tex │ └── shortcuts.sty │ ├── gpl-2.0.txt │ ├── install-sh │ ├── libasmir │ ├── Makefile │ ├── Makefile.am │ ├── Makefile.in │ ├── TAGS │ ├── apps │ │ ├── .deps │ │ │ ├── ir_printer.Po │ │ │ ├── lifttrace.Po │ │ │ └── print-ir.Po │ │ ├── Makefile │ │ ├── Makefile.am │ │ ├── Makefile.in │ │ ├── TAGS │ │ ├── ir_printer.cpp │ │ ├── ir_printer.h │ │ ├── lifttrace.cpp │ │ └── print-ir.cpp │ ├── config.h │ ├── config.h.in │ ├── include │ │ ├── asm_program.h │ │ ├── common.h │ │ ├── exp.h │ │ ├── info.h │ │ ├── irtoir-internal.h │ │ ├── irtoir.h │ │ ├── irvisitor.h │ │ ├── jumpbuf.h │ │ ├── stmt.h │ │ ├── translate.h │ │ └── vexmem.h │ ├── makefile.inc │ ├── src │ │ ├── .deps │ │ │ ├── asm_program.Po │ │ │ ├── exp.Po │ │ │ ├── exp_c.Po │ │ │ ├── irtoir-arm.Po │ │ │ ├── irtoir-i386.Po │ │ │ ├── irtoir.Po │ │ │ ├── irtoir_c.Po │ │ │ ├── memory_data.Po │ │ │ ├── ocaml_helpers.Po │ │ │ ├── pin_frame.Po │ │ │ ├── pin_trace.Po │ │ │ ├── readtrace.Po │ │ │ ├── reg_mapping.Po │ │ │ ├── stmt.Po │ │ │ ├── stmt_c.Po │ │ │ ├── symbols.Po │ │ │ ├── trace.Po │ │ │ ├── trace_v40.Po │ │ │ ├── trace_v41.Po │ │ │ ├── trace_v50.Po │ │ │ ├── vexir.Po │ │ │ └── vexmem.Po │ │ ├── Makefile │ │ ├── Makefile.am │ │ ├── Makefile.in │ │ ├── TAGS │ │ ├── asm_program.c │ │ ├── irtoir-arm.cpp │ │ ├── irtoir-i386.cpp │ │ ├── irtoir.cpp │ │ ├── irtoir_c.cpp │ │ ├── memory_data.cpp │ │ ├── ocaml_helpers.c │ │ ├── old_ir │ │ │ ├── exp.cpp │ │ │ ├── exp_c.cpp │ │ │ ├── stmt.cpp │ │ │ └── stmt_c.cpp │ │ ├── symbols.c │ │ ├── traces │ │ │ ├── pin_common.h │ │ │ ├── pin_frame.cpp │ │ │ ├── pin_frame.h │ │ │ ├── pin_syscalls.h │ │ │ ├── pin_taint.cpp │ │ │ ├── pin_taint.h │ │ │ ├── pin_trace.cpp │ │ │ ├── pin_trace.h │ │ │ ├── readtrace.cpp │ │ │ ├── readtrace.h │ │ │ ├── reg_mapping.cpp │ │ │ ├── reg_mapping.h │ │ │ ├── trace.cpp │ │ │ ├── trace.h │ │ │ ├── trace_v40.cpp │ │ │ ├── trace_v40.h │ │ │ ├── trace_v41.cpp │ │ │ ├── trace_v41.h │ │ │ ├── trace_v50.cpp │ │ │ ├── trace_v50.h │ │ │ ├── trace_vXX.h │ │ │ ├── winsyscalls.cpp │ │ │ └── winsyscalls.h │ │ ├── vexir.c │ │ └── vexmem.c │ └── stamp-h1 │ ├── m4 │ ├── ac_ocaml.m4 │ ├── ac_prog_latex.m4 │ ├── acltx_package.m4 │ ├── acltx_package_location.m4 │ └── acltx_prog_kpsewhich.m4 │ ├── missing │ ├── ocaml-proj.example │ ├── Makefile │ ├── README │ └── test.ml │ ├── ocaml │ ├── BatListFull.ml │ ├── Makefile │ ├── OCamlMakefile │ ├── TAGS │ ├── arithmetic.ml │ ├── asmir.ml │ ├── asmir.mli │ ├── asmirconsts.ml │ ├── ast.ml │ ├── ast_convenience.ml │ ├── ast_slice.ml │ ├── ast_visitor.ml │ ├── ast_visitor.mli │ ├── big_int_convenience.ml │ ├── cfg.ml │ ├── cfg.mli │ ├── cfg_ast.ml │ ├── cfg_ast.mli │ ├── cfg_pp.ml │ ├── cfg_ssa.ml │ ├── cfg_ssa.mli │ ├── coalesce.ml │ ├── cvc3_grammar.mly │ ├── cvc3_grammar.output │ ├── cvc3_lexer.mll │ ├── deadcode.ml │ ├── deadcode.mli │ ├── debug.ml │ ├── debug.mli │ ├── debug_snippets.ml │ ├── depgraphs.ml │ ├── disasm.ml │ ├── disasm_i386.ml │ ├── dominator.ml │ ├── eval.ml │ ├── formulap.ml │ ├── gcl.ml │ ├── gcl.mli │ ├── grammar.mly │ ├── grammar.mly.mli │ ├── grammar.output │ ├── grammar_scope.ml │ ├── graphDataflow.ml │ ├── graphDataflow.mli │ ├── graphDataflowW.ml │ ├── hacks.ml │ ├── input.ml │ ├── input.mli │ ├── interpreter.ml │ ├── lexer.mll │ ├── libasmir.idl │ ├── libbfd.idl │ ├── memory2array.ml │ ├── parser.ml │ ├── pp.ml │ ├── prune_unreachable.ml │ ├── prune_unreachable.mli │ ├── reachable.ml │ ├── reachable.mli │ ├── sccvn.ml │ ├── sccvn.mli │ ├── smtexec.ml │ ├── smtexec.mli │ ├── smtlib1.ml │ ├── smtlib2.ml │ ├── ssa.ml │ ├── ssa_simp.ml │ ├── ssa_simp_misc.ml │ ├── ssa_slice.ml │ ├── ssa_visitor.ml │ ├── ssa_visitor.mli │ ├── stp.ml │ ├── stp_grammar.mly │ ├── stp_grammar.output │ ├── stp_lexer.mll │ ├── structural_analysis.ml │ ├── symbeval.ml │ ├── symbeval_search.ml │ ├── template.ml │ ├── test_common.ml │ ├── to_c.ml │ ├── traces.ml │ ├── type.ml │ ├── type.mli │ ├── typecheck.ml │ ├── typesig.sh │ ├── unroll.ml │ ├── util.ml │ ├── util.mli │ ├── utils_common.ml │ ├── var.ml │ ├── var.mli │ ├── vsa.ml │ ├── wp.ml │ ├── yices_grammar.mly │ ├── yices_grammar.output │ └── yices_lexer.mll │ ├── ounit-1.1.0 │ ├── .boring │ ├── AUTHORS.txt │ ├── INSTALL.txt │ ├── LICENSE.txt │ ├── Makefile │ ├── README.txt │ ├── _oasis │ ├── _tags │ ├── changelog │ ├── configure │ ├── doc │ │ └── manual.txt │ ├── examples │ │ ├── Makefile │ │ ├── example.ml │ │ ├── test_list.ml │ │ ├── test_list2.ml │ │ ├── test_stack.ml │ │ └── test_suite.ml │ ├── myocamlbuild.ml │ ├── setup.data │ ├── setup.ml │ ├── src │ │ ├── META │ │ ├── api-ounit.odocl │ │ ├── oUnit.ml │ │ ├── oUnit.mli │ │ ├── oUnit.mllib │ │ ├── oUnitDiff.ml │ │ └── oUnitDiff.mli │ └── test │ │ └── test.ml │ ├── pcre-ocaml-release-6.2.2 │ ├── .hg_archival.txt │ ├── .hgignore │ ├── .hgtags │ ├── Changelog │ ├── INSTALL │ ├── LICENSE │ ├── Makefile │ ├── Makefile.conf │ ├── OCamlMakefile │ ├── OMakefile │ ├── README.txt │ ├── README.win32 │ ├── d3debcff192d │ ├── d3debcff192d.1 │ ├── examples │ │ ├── OMakefile │ │ ├── cloc │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ ├── cloc.ml │ │ │ └── make_win32_cloc.bat │ │ ├── count_hash │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ └── count_hash.ml │ │ ├── pcregrep │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ └── pcregrep.ml │ │ └── subst │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ └── subst.ml │ ├── lib │ │ ├── META │ │ ├── Makefile │ │ ├── Makefile.win32 │ │ ├── OMakefile │ │ ├── make_msvc.bat │ │ ├── pcre.ml │ │ ├── pcre.mli │ │ └── pcre_stubs.c │ └── pcre_make.win32 │ │ ├── Makefile.mingw │ │ ├── Makefile.win32 │ │ ├── make_pcre.ml │ │ └── pcre.h │ ├── pcre-ocaml-release-6.2.2_ │ ├── .hg_archival.txt │ ├── .hgignore │ ├── .hgtags │ ├── Changelog │ ├── INSTALL │ ├── LICENSE │ ├── Makefile │ ├── Makefile.conf │ ├── OCamlMakefile │ ├── OMakefile │ ├── README.txt │ ├── README.win32 │ ├── examples │ │ ├── OMakefile │ │ ├── cloc │ │ │ ├── ._d │ │ │ │ └── cloc.d │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ ├── cloc.ml │ │ │ └── make_win32_cloc.bat │ │ ├── count_hash │ │ │ ├── ._d │ │ │ │ └── count_hash.d │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ └── count_hash.ml │ │ ├── pcregrep │ │ │ ├── ._d │ │ │ │ └── pcregrep.d │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ └── pcregrep.ml │ │ └── subst │ │ │ ├── ._d │ │ │ └── subst.d │ │ │ ├── Makefile │ │ │ ├── OMakefile │ │ │ ├── README │ │ │ └── subst.ml │ ├── lib │ │ ├── ._bcdi │ │ │ └── pcre.di │ │ ├── ._d │ │ │ └── pcre.d │ │ ├── ._ncdi │ │ │ └── pcre.di │ │ ├── META │ │ ├── Makefile │ │ ├── Makefile.win32 │ │ ├── OMakefile │ │ ├── make_msvc.bat │ │ ├── pcre.ml │ │ ├── pcre.mli │ │ └── pcre_stubs.c │ └── pcre_make.win32 │ │ ├── Makefile.mingw │ │ ├── Makefile.win32 │ │ ├── make_pcre.ml │ │ └── pcre.h │ ├── pintraces │ ├── Makefile │ ├── README │ ├── cache.h │ ├── ddk-inc │ │ ├── README │ │ ├── bugcodes.h │ │ ├── dpfilter.h │ │ ├── mce.h │ │ ├── ntdef.h │ │ ├── ntiologc.h │ │ └── wdm.h │ ├── examples │ │ └── bof1 │ │ │ ├── Makefile │ │ │ └── bof1.c │ ├── gentrace.cpp │ ├── getpin.sh │ ├── iltest │ │ ├── TRACE │ │ └── test_wrapper.cpp │ ├── pivot.cpp │ ├── pivot.h │ ├── pivottest.cpp │ └── readtrace.cpp │ ├── stpwrap │ └── Makefile │ ├── tests │ └── Makefile │ ├── utils-proj.example │ ├── Makefile │ ├── README │ └── testutil.ml │ └── utils │ ├── Makefile │ ├── add.il │ ├── copy_reg.il │ ├── formula.ml │ ├── formula_add.txt │ ├── formula_copy_reg.txt │ ├── get_functions.ml │ ├── ileval.ml │ ├── iltrans.ml │ ├── split_disjunction.ml │ ├── streamtrans.ml │ ├── toil.ml │ ├── topredicate.ml │ ├── tricky.il │ └── tricky.txt ├── src ├── Makefile ├── TODO.md ├── common │ ├── Makefile │ ├── common.ml │ └── int_utils.ml ├── compile │ ├── .gitignore │ ├── Makefile │ ├── analysis.ml │ ├── llvmAst.ml │ ├── llvmAstPrinter.ml │ ├── llvmAstTranslator.ml │ ├── llvmLexer.mll │ ├── llvmParser.mly │ ├── regSets.ml │ ├── ropCodeWriter.ml │ ├── ropc.ml │ ├── roplAst.ml │ ├── roplAstRewriter.ml │ ├── roplLexer.mll │ ├── roplParser.mly │ ├── ssaForm.ml │ └── ssaFormPrinter.ml ├── dumper │ ├── Makefile │ └── dumper.ml ├── gadget │ ├── Makefile │ ├── gadget.ml │ ├── gadgetClassifier.ml │ ├── gadgetClassifierHelper.ml │ ├── gadgetFinder.ml │ └── gadgetSet.ml └── verify │ ├── Makefile │ └── verify.ml └── test ├── Makefile ├── examples-llvm ├── Makefile ├── baz.c ├── fib.c ├── foo.c ├── llvm_intrinsics.h └── trivial.c ├── examples-ropl ├── baz.ropl ├── fib.ropl ├── foo.ropl └── trivial.ropl ├── test.asm └── test.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/.gitignore -------------------------------------------------------------------------------- /README.ROPC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/README.ROPC -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/README.md -------------------------------------------------------------------------------- /bin/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !.gitignore 3 | -------------------------------------------------------------------------------- /doc/src/.gitignore: -------------------------------------------------------------------------------- 1 | *.html 2 | -------------------------------------------------------------------------------- /doc/src/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/doc/src/style.css -------------------------------------------------------------------------------- /lib/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap-0.4/AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/AUTHORS -------------------------------------------------------------------------------- /lib/bap-0.4/BIGINT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/BIGINT -------------------------------------------------------------------------------- /lib/bap-0.4/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/COPYING -------------------------------------------------------------------------------- /lib/bap-0.4/ChangeLog: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap-0.4/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/INSTALL -------------------------------------------------------------------------------- /lib/bap-0.4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/Makefile.am -------------------------------------------------------------------------------- /lib/bap-0.4/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/Makefile.in -------------------------------------------------------------------------------- /lib/bap-0.4/NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/NEWS -------------------------------------------------------------------------------- /lib/bap-0.4/NOTESTS: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap-0.4/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/README -------------------------------------------------------------------------------- /lib/bap-0.4/STYLE.C: -------------------------------------------------------------------------------- 1 | For our C code, we use K&R style. 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/STYLE.ocaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/STYLE.ocaml -------------------------------------------------------------------------------- /lib/bap-0.4/TAGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/TAGS -------------------------------------------------------------------------------- /lib/bap-0.4/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/TODO -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/BAP.README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/BAP.README -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/HACKING.README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/HACKING.README -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/LICENSE.GPL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/LICENSE.GPL -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/LICENSE.README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/LICENSE.README -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/Makefile-gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/Makefile-gcc -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/Makefile-icc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/Makefile-icc -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/TODO.txt -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/auxprogs/genoffsets.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/auxprogs/genoffsets.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/bap_patch_20110908.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/bap_patch_20110908.patch -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/nanoarm.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/nanoarm.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/newline.txt: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_amd64/Compare.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_amd64/Compare.hs -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_amd64/SortedToOrig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_amd64/SortedToOrig.hs -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_amd64/test1.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_amd64/test1.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_amd64/test1.sorted: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_amd64/test1.sorted -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_amd64/test2.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_amd64/test2.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_amd64/test2.sorted: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_amd64/test2.sorted -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_arm/nanoarm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_arm/nanoarm -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_arm/nanoarm.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_arm/nanoarm.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_ppc32/date.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_ppc32/date.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_ppc32/loadsafp.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_ppc32/loadsafp.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_ppc32/morefp.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_ppc32/morefp.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_ppc32/return0.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_ppc32/return0.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_x86/exit42.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_x86/exit42.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_x86/fpu_mmx_sse.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_x86/fpu_mmx_sse.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/orig_x86/manyfp.orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/orig_x86/manyfp.orig -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_amd64_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_amd64_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_amd64_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_amd64_helpers.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_amd64_toIR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_amd64_toIR.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_arm_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_arm_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_arm_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_arm_helpers.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_arm_toIR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_arm_toIR.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_generic_bb_to_IR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_generic_bb_to_IR.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_generic_bb_to_IR.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_generic_bb_to_IR.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_generic_x87.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_generic_x87.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_generic_x87.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_generic_x87.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_ppc_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_ppc_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_ppc_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_ppc_helpers.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_ppc_toIR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_ppc_toIR.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_s390_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_s390_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_s390_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_s390_helpers.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_s390_toIR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_s390_toIR.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_x86_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_x86_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_x86_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_x86_helpers.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/guest_x86_toIR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/guest_x86_toIR.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_amd64_defs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_amd64_defs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_amd64_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_amd64_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_amd64_isel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_amd64_isel.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_arm_defs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_arm_defs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_arm_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_arm_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_arm_isel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_arm_isel.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_reg_alloc2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_reg_alloc2.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_regs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_regs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_regs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_regs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_simd128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_simd128.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_simd128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_simd128.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_simd64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_simd64.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_generic_simd64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_generic_simd64.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_ppc_defs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_ppc_defs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_ppc_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_ppc_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_ppc_isel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_ppc_isel.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_s390_defs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_s390_defs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_s390_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_s390_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_s390_disasm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_s390_disasm.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_s390_disasm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_s390_disasm.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_s390_isel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_s390_isel.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_x86_defs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_x86_defs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_x86_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_x86_defs.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/host_x86_isel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/host_x86_isel.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/ir_defs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/ir_defs.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/ir_match.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/ir_match.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/ir_match.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/ir_match.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/ir_opt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/ir_opt.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/ir_opt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/ir_opt.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/main_globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/main_globals.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/main_globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/main_globals.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/main_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/main_main.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/main_util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/main_util.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/priv/main_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/priv/main_util.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_basictypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_basictypes.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_emwarn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_emwarn.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_guest_amd64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_guest_amd64.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_guest_arm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_guest_arm.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_guest_ppc32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_guest_ppc32.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_guest_ppc64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_guest_ppc64.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_guest_s390x.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_guest_s390x.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_guest_x86.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_guest_x86.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_ir.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_s390x_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_s390x_common.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/pub/libvex_trc_values.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/pub/libvex_trc_values.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/quote.txt: -------------------------------------------------------------------------------- 1 | " -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/binary_switchback.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/binary_switchback.pl -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/linker.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/linker.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/linker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/linker.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/switchback.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/switchback.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/test_bzip2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/test_bzip2.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/test_emfloat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/test_emfloat.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/test_hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/test_hello.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/test_ppc_jm1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/test_ppc_jm1.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/switchback/test_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/switchback/test_simple.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fldenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fldenv.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fp1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fp1.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fp1.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fp1.s -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fpconst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fpconst.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fpgames.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fpgames.s -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fpspeed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fpspeed.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fpucw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fpucw.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/frstor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/frstor.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fsave.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fsave.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fstenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fstenv.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/fxsave.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/fxsave.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/mmxtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/mmxtest.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/mxcsr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/mxcsr.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/rounderr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/rounderr.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-amd64-muldiv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-amd64-muldiv.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-amd64-shift.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-amd64-shift.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-amd64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-amd64.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-amd64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-amd64.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-i386-muldiv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-i386-muldiv.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-i386-shift.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-i386-shift.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-i386.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-i386.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/test-i386.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/test-i386.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/x87fxam.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/x87fxam.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test/x87tst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test/x87tst.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test_main.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test_main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test_main.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/test_main.h.base: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/test_main.h.base -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/unused/arena.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/unused/arena.h -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/unused/dispatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/unused/dispatch.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/unused/linker.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/unused/linker.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/cpuid.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/fp_80_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/fp_80_64.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/fpround.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/fpround.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/fspill.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/fspill.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/gradual_underflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/gradual_underflow.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/hd_fpu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/hd_fpu.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/show_fp_state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/show_fp_state.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/smchash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/smchash.c -------------------------------------------------------------------------------- /lib/bap-0.4/VEX/useful/x87_to_vex_and_back.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/VEX/useful/x87_to_vex_and_back.c -------------------------------------------------------------------------------- /lib/bap-0.4/aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/aclocal.m4 -------------------------------------------------------------------------------- /lib/bap-0.4/autogen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/autogen.sh -------------------------------------------------------------------------------- /lib/bap-0.4/autom4te.cache/output.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/autom4te.cache/output.0 -------------------------------------------------------------------------------- /lib/bap-0.4/autom4te.cache/output.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/autom4te.cache/output.1 -------------------------------------------------------------------------------- /lib/bap-0.4/autom4te.cache/requests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/autom4te.cache/requests -------------------------------------------------------------------------------- /lib/bap-0.4/autom4te.cache/traces.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/autom4te.cache/traces.0 -------------------------------------------------------------------------------- /lib/bap-0.4/autom4te.cache/traces.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/autom4te.cache/traces.1 -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/.gitignore -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/ChangeLog: -------------------------------------------------------------------------------- 1 | Look in git log for list of changes 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/FAQ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/FAQ -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/LICENSE -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/META.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/META.in -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/README: -------------------------------------------------------------------------------- 1 | See README.md 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/README.folders: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/README.folders -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/README.md -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/VERSION: -------------------------------------------------------------------------------- 1 | 1.4.0 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/_oasis -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/batteries.odocl: -------------------------------------------------------------------------------- 1 | src/batteries.mllib -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/battop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/battop.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/benchsuite/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/benchsuite/README -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/benchsuite/_tags: -------------------------------------------------------------------------------- 1 | <*>: pkg_benchmark 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/build/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/build/README -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/build/camlzip/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/build/camlzip/META -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/build/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/build/import.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/build/intro.text: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/build/intro.text -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/build/mkconf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/build/mkconf.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/build/packdoc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/build/packdoc.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/byte.itarget: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/byte.itarget -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/doc/batteries/html/batteries_large.png: -------------------------------------------------------------------------------- 1 | ../../batteries_large.png -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/examples/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/examples/README -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/examples/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/examples/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/examples/euler/euler022.ml: -------------------------------------------------------------------------------- 1 | (* uses names.txt *) 2 | 3 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/examples/snippets/myocamlbuild.ml: -------------------------------------------------------------------------------- 1 | ../../build/myocamlbuild.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/examples/tools/_tags: -------------------------------------------------------------------------------- 1 | not(<*_dyn*>): pkg_batteries,debug 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/examples/tools/myocamlbuild.ml: -------------------------------------------------------------------------------- 1 | ../../build/myocamlbuild.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/libs/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/libs/estring/VERSION: -------------------------------------------------------------------------------- 1 | 1.0 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/myocamlbuild.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/native.itarget: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/native.itarget -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/num: -------------------------------------------------------------------------------- 1 | ../bigint-3.12/otherlibs/num -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/ocamlinit -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/qtest/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/qtest/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/qtest/tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/qtest/tests.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/setup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/setup.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/shared.itarget: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/shared.itarget -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batArg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batArg.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batArg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batArg.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batArray.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batArray.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batArray.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batBase64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batBase64.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batBitSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batBitSet.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batBool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batBool.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batBool.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batBool.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batBuffer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batBuffer.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batCache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batCache.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batCache.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batCache.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batChar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batChar.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batChar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batChar.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batDeque.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batDeque.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batDeque.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batDeque.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batDigest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batDigest.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batDllist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batDllist.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batEnum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batEnum.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batEnum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batEnum.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batFile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batFile.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batFile.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batFile.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batFloat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batFloat.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batFloat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batFloat.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batFormat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batFormat.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batGc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batGc.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batGc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batGc.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batGenlex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batGenlex.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batGlobal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batGlobal.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batHeap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batHeap.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batHeap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batHeap.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batIMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batIMap.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batIMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batIMap.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batIO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batIO.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batIO.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batIO.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batISet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batISet.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batISet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batISet.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batInt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batInt.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batInt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batInt.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batInt32.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batInt32.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batInt32.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batInt32.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batInt64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batInt64.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batInt64.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batInt64.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batLexing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batLexing.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batList.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batList.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batLogger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batLogger.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batMap.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batMap.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batMonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batMonad.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batMonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batMonad.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batMutex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batMutex.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batMutex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batMutex.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batNum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batNum.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batNum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batNum.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batNumber.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batNumber.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batOo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batOo.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batOo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batOo.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batOption.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batOption.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPMap.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPMap.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPSet.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPSet.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPair.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPair.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPair.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPair.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPrint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPrint.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPrint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPrint.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batPrintf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batPrintf.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batQueue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batQueue.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batQueue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batQueue.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batRMutex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batRMutex.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batRandom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batRandom.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batRef.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batRef.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batRef.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batRef.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batResult.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batResult.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batReturn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batReturn.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batRope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batRope.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batRope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batRope.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batScanf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batScanf.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batScanf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batScanf.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSeq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSeq.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSeq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSeq.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSet.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSet.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSplay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSplay.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSplay.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSplay.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStack.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStack.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStd.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStd.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStd.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStr.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStr.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batStream.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batStream.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batString.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batString.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSys.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batSys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batSys.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batTuple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batTuple.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batTuple.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batTuple.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUChar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUChar.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUChar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUChar.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUTF8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUTF8.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUTF8.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUTF8.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUnit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUnit.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUnit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUnit.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUnix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUnix.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUnix.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUnix.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUref.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUref.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batUref.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batUref.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batVect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batVect.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batVect.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batVect.mli -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/batteries.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/src/batteries.ml -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/syntax/pa_comprehension/_tags: -------------------------------------------------------------------------------- 1 | "pa_comprehension.ml": camlp4rf 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/syntax/pa_llist/_tags: -------------------------------------------------------------------------------- 1 | "pa_llist.ml": camlp4of 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/syntax/pa_strings/_tags: -------------------------------------------------------------------------------- 1 | <*.ml>: camlp4of 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/src/syntax/pa_strings/pa_strings.mllib: -------------------------------------------------------------------------------- 1 | Pa_strings 2 | Pa_format 3 | -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/syntax.itarget: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/syntax.itarget -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/testsuite/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/batteries-1.4.0/testsuite/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/batteries-1.4.0/testsuite/myocamlbuild.ml: -------------------------------------------------------------------------------- 1 | ../build/myocamlbuild.ml -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/.cvsignore -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/.depend -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/Changes -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/INSTALL -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/LICENSE -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/Makefile.nt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/Makefile.nt -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/Makefile.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/Makefile.old -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/README -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/README.win32: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/README.win32 -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/Upgrading: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/Upgrading -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/VERSION: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/VERSION -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/.cvsignore -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/.depend -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/Makefile.nt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/Makefile.nt -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/alloc.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/alloc.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/array.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/backtrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/backtrace.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/backtrace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/backtrace.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/callback.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/callback.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/callback.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/callback.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/compact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/compact.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/compact.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/compact.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/compare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/compare.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/compare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/compare.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/config.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/custom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/custom.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/custom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/custom.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/debugger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/debugger.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/debugger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/debugger.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/dynlink.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/dynlink.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/dynlink.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/dynlink.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/exec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/exec.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/extern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/extern.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/fail.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/fail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/fail.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/finalise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/finalise.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/finalise.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/finalise.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/fix_code.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/fix_code.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/fix_code.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/fix_code.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/floats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/floats.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/freelist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/freelist.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/freelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/freelist.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/gc.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/gc_ctrl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/gc_ctrl.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/gc_ctrl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/gc_ctrl.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/globroots.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/globroots.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/globroots.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/globroots.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/hash.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/instrtrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/instrtrace.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/instrtrace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/instrtrace.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/instruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/instruct.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/int64_emul.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/int64_emul.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/intern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/intern.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/interp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/interp.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/interp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/interp.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/intext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/intext.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/ints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/ints.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/io.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/io.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/lexing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/lexing.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/main.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/major_gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/major_gc.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/major_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/major_gc.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/md5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/md5.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/md5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/md5.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/memory.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/memory.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/meta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/meta.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/minor_gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/minor_gc.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/minor_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/minor_gc.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/misc.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/misc.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/mlvalues.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/mlvalues.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/obj.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/obj.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/osdeps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/osdeps.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/parsing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/parsing.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/prims.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/prims.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/printexc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/printexc.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/printexc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/printexc.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/reverse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/reverse.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/roots.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/roots.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/roots.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/roots.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/signals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/signals.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/signals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/signals.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/stacks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/stacks.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/stacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/stacks.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/startup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/startup.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/startup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/startup.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/str.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/str.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/sys.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/sys.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/sys.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/sys.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/terminfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/terminfo.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/ui.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/ui.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/unix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/unix.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/weak.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/weak.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/weak.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/weak.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/byterun/win32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/byterun/win32.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/.cvsignore: -------------------------------------------------------------------------------- 1 | m.h 2 | s.h 3 | Makefile 4 | config.sh 5 | -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/Makefile.msvc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/Makefile.msvc -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/auto-aux/.cvsignore: -------------------------------------------------------------------------------- 1 | camlp4_config.ml 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/auto-aux/sharpbang: -------------------------------------------------------------------------------- 1 | #! /bin/cat 2 | exit 1 3 | -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/auto-aux/sharpbang2: -------------------------------------------------------------------------------- 1 | #! /usr/bin/cat 2 | exit 1 3 | -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/m-nt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/m-nt.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/m-templ.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/m-templ.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/m.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/m.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/s-nt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/s-nt.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/s-templ.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/s-templ.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/config/s.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/config/s.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/configure -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/myocamlbuild.ml -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/num/README -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/bignum/.cvsignore: -------------------------------------------------------------------------------- 1 | libbignum.x 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/bng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/num/bng.c -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/bng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/num/bng.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/libnums.clib: -------------------------------------------------------------------------------- 1 | bng.o nat_stubs.o 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/nat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/num/nat.h -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/nat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/num/nat.ml -------------------------------------------------------------------------------- /lib/bap-0.4/bigint-3.12/otherlibs/num/num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/bigint-3.12/otherlibs/num/num.ml -------------------------------------------------------------------------------- /lib/bap-0.4/config.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/config.log -------------------------------------------------------------------------------- /lib/bap-0.4/config.status: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/config.status -------------------------------------------------------------------------------- /lib/bap-0.4/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/configure -------------------------------------------------------------------------------- /lib/bap-0.4/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/configure.ac -------------------------------------------------------------------------------- /lib/bap-0.4/depcomp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/depcomp -------------------------------------------------------------------------------- /lib/bap-0.4/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/doc/bibtex/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/bibtex/biblio.bib -------------------------------------------------------------------------------- /lib/bap-0.4/doc/bibtex/misc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/bibtex/misc.bib -------------------------------------------------------------------------------- /lib/bap-0.4/doc/challenges.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/challenges.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-developer.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-developer.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-developer/overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-developer/overview.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/basic.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/basic.S -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/basic.il: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/basic.il -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/basic_mod.il: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/basic_mod.il -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/cdg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/cdg.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/cfg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/cfg.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/cfg_simp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/cfg_simp.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/conceval.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/conceval.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/ddg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/ddg.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/functions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/functions.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/il.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/il.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/test.c -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-examples/traces.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-examples/traces.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-formalism.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-formalism.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-formalism/language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-formalism/language.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-formalism/syntax.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-formalism/syntax.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-formalism/typecheck.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-formalism/typecheck.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-intro.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-intro/intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-intro/intro.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-intro/overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-intro/overview.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-tools.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools/discussion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-tools/discussion.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools/iltrans.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-tools/iltrans.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools/obtaining.tex: -------------------------------------------------------------------------------- 1 | \section{Obtaining \bap} 2 | BAP can be found at \url{http://bap.ece.cmu.edu}. 3 | 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools/other-utils.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-tools/other-utils.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools/overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-tools/overview.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/chap-tools/toil.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/chap-tools/toil.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/code.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/code.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/credits.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/credits.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/djb.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/djb.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/add-shl.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/add-shl.dot -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/add-shl.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/add-shl.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/components.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/components.fig -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/components.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/components.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/memvsarray-1.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/memvsarray-1.eps -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/memvsarray-1.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/memvsarray-1.fig -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/memvsarray-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/memvsarray-1.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/memvsarray-2.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/memvsarray-2.eps -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/memvsarray-2.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/memvsarray-2.fig -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/memvsarray-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/memvsarray-2.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/running-example.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/running-example.eps -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/running-example.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/running-example.fig -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/running-example.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/running-example.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/toolchain.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/toolchain.fig -------------------------------------------------------------------------------- /lib/bap-0.4/doc/fig/toolchain.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/fig/toolchain.pdf -------------------------------------------------------------------------------- /lib/bap-0.4/doc/goals.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/goals.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/code.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/code.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/djb.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/djb.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/lecnotes.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/lecnotes.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/proof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/proof.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/shortcuts.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/shortcuts.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/just-formals/vine.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/just-formals/vine.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/lecnotes.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/lecnotes.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/main.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/proof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/proof.sty -------------------------------------------------------------------------------- /lib/bap-0.4/doc/related.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/related.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/running-asm.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/running-asm.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/running-il.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/running-il.tex -------------------------------------------------------------------------------- /lib/bap-0.4/doc/shortcuts.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/doc/shortcuts.sty -------------------------------------------------------------------------------- /lib/bap-0.4/gpl-2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/gpl-2.0.txt -------------------------------------------------------------------------------- /lib/bap-0.4/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/install-sh -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/Makefile.am -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/Makefile.in -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/TAGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/TAGS -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/.deps/lifttrace.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/.deps/lifttrace.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/.deps/print-ir.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/.deps/print-ir.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/Makefile.am -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/Makefile.in -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/TAGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/TAGS -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/ir_printer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/ir_printer.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/ir_printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/ir_printer.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/lifttrace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/lifttrace.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/apps/print-ir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/apps/print-ir.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/config.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/config.h.in -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/asm_program.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/asm_program.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/common.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/exp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/exp.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/info.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/info.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/irtoir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/irtoir.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/irvisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/irvisitor.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/jumpbuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/jumpbuf.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/stmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/stmt.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/translate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/translate.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/include/vexmem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/include/vexmem.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/makefile.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/makefile.inc -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/exp.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/exp.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/exp_c.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/exp_c.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/irtoir-arm.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/irtoir-arm.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/irtoir.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/irtoir.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/irtoir_c.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/irtoir_c.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/pin_frame.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/pin_frame.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/pin_trace.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/pin_trace.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/readtrace.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/readtrace.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/stmt.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/stmt.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/stmt_c.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/stmt_c.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/symbols.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/symbols.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/trace.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/trace.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/trace_v40.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/trace_v40.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/trace_v41.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/trace_v41.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/trace_v50.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/trace_v50.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/vexir.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/vexir.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/.deps/vexmem.Po: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/.deps/vexmem.Po -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/Makefile.am -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/Makefile.in -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/TAGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/TAGS -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/asm_program.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/asm_program.c -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/irtoir-arm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/irtoir-arm.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/irtoir-i386.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/irtoir-i386.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/irtoir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/irtoir.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/irtoir_c.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/irtoir_c.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/memory_data.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/memory_data.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/ocaml_helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/ocaml_helpers.c -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/old_ir/exp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/old_ir/exp.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/old_ir/exp_c.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/old_ir/exp_c.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/old_ir/stmt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/old_ir/stmt.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/old_ir/stmt_c.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/old_ir/stmt_c.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/symbols.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/symbols.c -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/pin_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/pin_common.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/pin_frame.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/pin_frame.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/pin_taint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/pin_taint.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/pin_trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/pin_trace.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/readtrace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/readtrace.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/trace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/trace.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/trace.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/trace_v40.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/trace_v40.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/trace_v41.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/trace_v41.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/trace_v50.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/trace_v50.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/traces/trace_vXX.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/traces/trace_vXX.h -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/vexir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/vexir.c -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/src/vexmem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/libasmir/src/vexmem.c -------------------------------------------------------------------------------- /lib/bap-0.4/libasmir/stamp-h1: -------------------------------------------------------------------------------- 1 | timestamp for libasmir/config.h 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/m4/ac_ocaml.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/m4/ac_ocaml.m4 -------------------------------------------------------------------------------- /lib/bap-0.4/m4/ac_prog_latex.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/m4/ac_prog_latex.m4 -------------------------------------------------------------------------------- /lib/bap-0.4/m4/acltx_package.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/m4/acltx_package.m4 -------------------------------------------------------------------------------- /lib/bap-0.4/m4/acltx_package_location.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/m4/acltx_package_location.m4 -------------------------------------------------------------------------------- /lib/bap-0.4/m4/acltx_prog_kpsewhich.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/m4/acltx_prog_kpsewhich.m4 -------------------------------------------------------------------------------- /lib/bap-0.4/missing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/missing -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml-proj.example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml-proj.example/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml-proj.example/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml-proj.example/README -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml-proj.example/test.ml: -------------------------------------------------------------------------------- 1 | let testf () = 2 | "Hooray!\n";; 3 | -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/BatListFull.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/BatListFull.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/OCamlMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/OCamlMakefile -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/TAGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/TAGS -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/arithmetic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/arithmetic.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/asmir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/asmir.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/asmir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/asmir.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/asmirconsts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/asmirconsts.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ast.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ast_convenience.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ast_convenience.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ast_slice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ast_slice.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ast_visitor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ast_visitor.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ast_visitor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ast_visitor.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/big_int_convenience.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/big_int_convenience.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg_ast.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg_ast.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg_pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg_pp.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg_ssa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg_ssa.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cfg_ssa.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cfg_ssa.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/coalesce.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/coalesce.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cvc3_grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cvc3_grammar.mly -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cvc3_grammar.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cvc3_grammar.output -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/cvc3_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/cvc3_lexer.mll -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/deadcode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/deadcode.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/deadcode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/deadcode.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/debug.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/debug.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/debug.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/debug_snippets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/debug_snippets.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/depgraphs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/depgraphs.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/disasm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/disasm.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/disasm_i386.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/disasm_i386.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/dominator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/dominator.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/eval.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/formulap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/formulap.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/gcl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/gcl.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/gcl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/gcl.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/grammar.mly -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/grammar.mly.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/grammar.mly.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/grammar.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/grammar.output -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/grammar_scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/grammar_scope.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/graphDataflow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/graphDataflow.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/graphDataflow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/graphDataflow.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/graphDataflowW.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/graphDataflowW.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/hacks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/hacks.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/input.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/input.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/input.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/input.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/interpreter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/interpreter.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/lexer.mll -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/libasmir.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/libasmir.idl -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/libbfd.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/libbfd.idl -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/memory2array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/memory2array.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/parser.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/pp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/pp.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/prune_unreachable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/prune_unreachable.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/prune_unreachable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/prune_unreachable.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/reachable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/reachable.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/reachable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/reachable.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/sccvn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/sccvn.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/sccvn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/sccvn.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/smtexec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/smtexec.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/smtexec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/smtexec.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/smtlib1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/smtlib1.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/smtlib2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/smtlib2.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ssa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ssa.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ssa_simp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ssa_simp.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ssa_simp_misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ssa_simp_misc.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ssa_slice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ssa_slice.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ssa_visitor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ssa_visitor.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/ssa_visitor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/ssa_visitor.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/stp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/stp.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/stp_grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/stp_grammar.mly -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/stp_grammar.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/stp_grammar.output -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/stp_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/stp_lexer.mll -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/structural_analysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/structural_analysis.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/symbeval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/symbeval.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/symbeval_search.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/symbeval_search.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/template.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/template.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/test_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/test_common.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/to_c.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/to_c.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/traces.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/traces.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/type.ml: -------------------------------------------------------------------------------- 1 | type.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/type.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/typecheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/typecheck.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/typesig.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/typesig.sh -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/unroll.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/unroll.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/util.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/util.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/utils_common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/utils_common.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/var.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/var.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/vsa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/vsa.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/wp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/wp.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/yices_grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/yices_grammar.mly -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/yices_grammar.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/yices_grammar.output -------------------------------------------------------------------------------- /lib/bap-0.4/ocaml/yices_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ocaml/yices_lexer.mll -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/.boring: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/.boring -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/AUTHORS.txt -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/INSTALL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/INSTALL.txt -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/LICENSE.txt -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/README.txt -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/_oasis -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/_tags -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/changelog -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/configure -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/doc/manual.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/doc/manual.txt -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/examples/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/examples/example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/examples/example.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/myocamlbuild.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/setup.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/setup.data -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/setup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/setup.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/META -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/api-ounit.odocl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/api-ounit.odocl -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/oUnit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/oUnit.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/oUnit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/oUnit.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/oUnit.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/oUnit.mllib -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/oUnitDiff.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/oUnitDiff.ml -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/src/oUnitDiff.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/src/oUnitDiff.mli -------------------------------------------------------------------------------- /lib/bap-0.4/ounit-1.1.0/test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/ounit-1.1.0/test/test.ml -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/.hgtags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pcre-ocaml-release-6.2.2/.hgtags -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pcre-ocaml-release-6.2.2/INSTALL -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pcre-ocaml-release-6.2.2/LICENSE -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/OMakefile: -------------------------------------------------------------------------------- 1 | Subdirs() 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/examples/OMakefile: -------------------------------------------------------------------------------- 1 | OCAML_LIBRARIES = pcre 2 | 3 | Subdirs() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/examples/cloc/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(cloc.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/examples/count_hash/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(count_hash.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/examples/pcregrep/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(pcregrep.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2/examples/subst/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(subst.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/OMakefile: -------------------------------------------------------------------------------- 1 | Subdirs() 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/examples/OMakefile: -------------------------------------------------------------------------------- 1 | OCAML_LIBRARIES = pcre 2 | 3 | Subdirs() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/examples/cloc/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(cloc.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/examples/count_hash/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(count_hash.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/examples/pcregrep/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(pcregrep.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/examples/subst/OMakefile: -------------------------------------------------------------------------------- 1 | OCamlMakeProjDefaults(subst.exe) 2 | 3 | InstantiateOCamlEnv() 4 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/lib/._bcdi/pcre.di: -------------------------------------------------------------------------------- 1 | pcre.cmi: 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/pcre-ocaml-release-6.2.2_/lib/._ncdi/pcre.di: -------------------------------------------------------------------------------- 1 | pcre.cmi: 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/README -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/cache.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/README -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/bugcodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/bugcodes.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/dpfilter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/dpfilter.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/mce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/mce.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/ntdef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/ntdef.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/ntiologc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/ntiologc.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/ddk-inc/wdm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/ddk-inc/wdm.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/examples/bof1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/examples/bof1/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/examples/bof1/bof1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/examples/bof1/bof1.c -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/gentrace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/gentrace.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/getpin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/getpin.sh -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/iltest/TRACE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/iltest/TRACE -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/pivot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/pivot.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/pivot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/pivot.h -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/pivottest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/pivottest.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/pintraces/readtrace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/pintraces/readtrace.cpp -------------------------------------------------------------------------------- /lib/bap-0.4/stpwrap/Makefile: -------------------------------------------------------------------------------- 1 | %: 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/tests/Makefile: -------------------------------------------------------------------------------- 1 | %: 2 | -------------------------------------------------------------------------------- /lib/bap-0.4/utils-proj.example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils-proj.example/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/utils-proj.example/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils-proj.example/README -------------------------------------------------------------------------------- /lib/bap-0.4/utils-proj.example/testutil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils-proj.example/testutil.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/Makefile -------------------------------------------------------------------------------- /lib/bap-0.4/utils/add.il: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/add.il -------------------------------------------------------------------------------- /lib/bap-0.4/utils/copy_reg.il: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/copy_reg.il -------------------------------------------------------------------------------- /lib/bap-0.4/utils/formula.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/formula.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/formula_add.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/formula_add.txt -------------------------------------------------------------------------------- /lib/bap-0.4/utils/formula_copy_reg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/formula_copy_reg.txt -------------------------------------------------------------------------------- /lib/bap-0.4/utils/get_functions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/get_functions.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/ileval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/ileval.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/iltrans.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/iltrans.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/split_disjunction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/split_disjunction.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/streamtrans.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/streamtrans.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/toil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/toil.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/topredicate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/topredicate.ml -------------------------------------------------------------------------------- /lib/bap-0.4/utils/tricky.il: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/tricky.il -------------------------------------------------------------------------------- /lib/bap-0.4/utils/tricky.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/lib/bap-0.4/utils/tricky.txt -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/TODO.md: -------------------------------------------------------------------------------- 1 | # TODO 2 | -------------------------------------------------------------------------------- /src/common/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/common/Makefile -------------------------------------------------------------------------------- /src/common/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/common/common.ml -------------------------------------------------------------------------------- /src/common/int_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/common/int_utils.ml -------------------------------------------------------------------------------- /src/compile/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/.gitignore -------------------------------------------------------------------------------- /src/compile/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/Makefile -------------------------------------------------------------------------------- /src/compile/analysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/analysis.ml -------------------------------------------------------------------------------- /src/compile/llvmAst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/llvmAst.ml -------------------------------------------------------------------------------- /src/compile/llvmAstPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/llvmAstPrinter.ml -------------------------------------------------------------------------------- /src/compile/llvmAstTranslator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/llvmAstTranslator.ml -------------------------------------------------------------------------------- /src/compile/llvmLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/llvmLexer.mll -------------------------------------------------------------------------------- /src/compile/llvmParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/llvmParser.mly -------------------------------------------------------------------------------- /src/compile/regSets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/regSets.ml -------------------------------------------------------------------------------- /src/compile/ropCodeWriter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/ropCodeWriter.ml -------------------------------------------------------------------------------- /src/compile/ropc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/ropc.ml -------------------------------------------------------------------------------- /src/compile/roplAst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/roplAst.ml -------------------------------------------------------------------------------- /src/compile/roplAstRewriter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/roplAstRewriter.ml -------------------------------------------------------------------------------- /src/compile/roplLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/roplLexer.mll -------------------------------------------------------------------------------- /src/compile/roplParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/roplParser.mly -------------------------------------------------------------------------------- /src/compile/ssaForm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/ssaForm.ml -------------------------------------------------------------------------------- /src/compile/ssaFormPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/compile/ssaFormPrinter.ml -------------------------------------------------------------------------------- /src/dumper/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/dumper/Makefile -------------------------------------------------------------------------------- /src/dumper/dumper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/dumper/dumper.ml -------------------------------------------------------------------------------- /src/gadget/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/gadget/Makefile -------------------------------------------------------------------------------- /src/gadget/gadget.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/gadget/gadget.ml -------------------------------------------------------------------------------- /src/gadget/gadgetClassifier.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/gadget/gadgetClassifier.ml -------------------------------------------------------------------------------- /src/gadget/gadgetClassifierHelper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/gadget/gadgetClassifierHelper.ml -------------------------------------------------------------------------------- /src/gadget/gadgetFinder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/gadget/gadgetFinder.ml -------------------------------------------------------------------------------- /src/gadget/gadgetSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/gadget/gadgetSet.ml -------------------------------------------------------------------------------- /src/verify/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/verify/Makefile -------------------------------------------------------------------------------- /src/verify/verify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/src/verify/verify.ml -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/examples-llvm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-llvm/Makefile -------------------------------------------------------------------------------- /test/examples-llvm/baz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-llvm/baz.c -------------------------------------------------------------------------------- /test/examples-llvm/fib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-llvm/fib.c -------------------------------------------------------------------------------- /test/examples-llvm/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-llvm/foo.c -------------------------------------------------------------------------------- /test/examples-llvm/llvm_intrinsics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-llvm/llvm_intrinsics.h -------------------------------------------------------------------------------- /test/examples-llvm/trivial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-llvm/trivial.c -------------------------------------------------------------------------------- /test/examples-ropl/baz.ropl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-ropl/baz.ropl -------------------------------------------------------------------------------- /test/examples-ropl/fib.ropl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-ropl/fib.ropl -------------------------------------------------------------------------------- /test/examples-ropl/foo.ropl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/examples-ropl/foo.ropl -------------------------------------------------------------------------------- /test/examples-ropl/trivial.ropl: -------------------------------------------------------------------------------- 1 | fun main(){ 2 | i = 0 3 | } 4 | 5 | -------------------------------------------------------------------------------- /test/test.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/test.asm -------------------------------------------------------------------------------- /test/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/programa-stic/ropc-llvm/HEAD/test/test.c --------------------------------------------------------------------------------