61 Commits (master)
 

Author SHA1 Message Date
Théophile Bastian 4522f97717 Package tarball: ignore heavy useless files 3 years ago
Théophile Bastian 5282f4eb3d Makefile: clarify bap/opam installation 3 years ago
Théophile Bastian 77f937a368 Cleanup repository 3 years ago
Théophile Bastian f81ca9e33b Add csmith test suite 3 years ago
Théophile Bastian a62e64513c Add gzip to testsuite 3 years ago
Théophile Bastian b2cf0a77df Add heuristics analysis 3 years ago
Théophile Bastian c74ec873eb Synth: tolerate undef rbp merge on leaf blocks 3 years ago
Théophile Bastian faef68303e Chk_gen_eh_frame: exit with 1 upon failure 3 years ago
Théophile Bastian 4811d68213 synth: tolerate rbp def/undef merges (one way only) 3 years ago
Théophile Bastian 1aa6caa36c csmith check: pyramid: tolerate 1st row address 3 years ago
Théophile Bastian 1e39d97c88 Synth: do not follow jumps outside of sub 3 years ago
Théophile Bastian a729f654b0 csmith check: fix break in pyramid detection 3 years ago
Théophile Bastian a3a33d4c88 Add performance analysis code + gzip eval 3 years ago
Théophile Bastian db32807dd0 Fix rbp pop heuristic 3 years ago
Théophile Bastian 4d6187ac21 Fix recursive call synthesis 3 years ago
Théophile Bastian ec75b2fc92 Fix tail call synthesis 3 years ago
Théophile Bastian 3b2cad0dc4 Revert to bap1.5 3 years ago
Théophile Bastian f1b84f1fbe Add `make tarball` 3 years ago
Théophile Bastian 07e6fd821e README: dependencies instructions 3 years ago
Théophile Bastian ad07f1d30f check_gen_eh_f: better reporting 3 years ago
Théophile Bastian e7c007e811 Compile libdwarfw from master Makefile 3 years ago
Théophile Bastian 8d49af7be8 Use bap 1.6 3 years ago
Théophile Bastian 174c4e8143 master script: fix generate to same file 3 years ago
Théophile Bastian 6df057260d Add uncommitted tests and curiosities 3 years ago
Théophile Bastian 11fa3fab40 Check_gen: patch for flat vs pyramid clang tables 3 years ago
Théophile Bastian 344ac84ef3 Ignore ghost subroutines for clang 3 years ago
Théophile Bastian 6c18d9f537 Use rbp only on the subs where we need it 3 years ago
Théophile Bastian 29ab916c55 Fix next_instr_graph out-of-subroutine pointers 3 years ago
Théophile Bastian 5f7dfb6f5f Use disasm to generate next_instr_graph 3 years ago
Théophile Bastian 3d336de196 Add flag to never go back to undefined rbp 3 years ago
Théophile Bastian 4313ee91a7 Curiosities: `mov %rsp, %rbp` not switching to rbp tracking 3 years ago
Théophile Bastian c3050da113 Csmith checker: check rbp column 3 years ago
Théophile Bastian 5d6929f84c csmith_gen: add COMPILE_CMD option 3 years ago
Théophile Bastian 2b2d44c18e csmith/check_gen_eh_frame: verbose mode 3 years ago
Théophile Bastian 30fe23b541 Fix rbp to rsp switch 3 years ago
Théophile Bastian 180e32a4b3 Generate RBP column when needed 3 years ago
Théophile Bastian fc8c9c45d6 Enhance eh_frame validity checker/differ 3 years ago
Théophile Bastian 681153b954 Script to check csmith synth validity 3 years ago
Théophile Bastian 719fa27f99 Ensure a crashing FDE still generates other FDEs 3 years ago
Théophile Bastian d7c1aaa6b5 CSmith: add script to generate tests 3 years ago
Théophile Bastian 693a48f070 Add synthesize_dwarf.sh 3 years ago
Théophile Bastian 8fa2bc5952 ml_dwarf_write: write to a separate file 3 years ago
Francesco Zappa Nardelli 484b20c732 initial commit of ocaml->c wrappers. as bap linking is already complicated, two independent binaries communicate via a tmp.marshall file for now. 4 years ago
Théophile Bastian 828abdf495 Remove relocation data in dwarf_write 4 years ago
Théophile Bastian effccb087e Convert Simplest types to C-like types 4 years ago
Théophile Bastian db2f5787d3 Tentative rewrite of Dareog to write DWARF to ELF 4 years ago
Théophile Bastian 465c951c0d Add libdwarfw as submodule 4 years ago
Théophile Bastian 0c42aa6bcf Ignore and remove *.plugin compiled files 4 years ago
Théophile Bastian 5ecd56a134 Simplest: compute first and last address of sub 4 years ago
Théophile Bastian e021d781f4 Use AddrMap instead of CfaChange list 4 years ago