Commit graph

Select branches

Hide pull requests

master

verify_synthesis

write_dwarf

0.1

Mono Color

• 4522f97717 Package tarball: ignore heavy useless files master Théophile Bastian 2019-09-27 15:08:45 +0200
• 5282f4eb3d Makefile: clarify bap/opam installation Théophile Bastian 2019-07-16 10:36:26 +0200
• 77f937a368 Cleanup repository Théophile Bastian 2019-07-15 14:12:13 +0200
• f81ca9e33b Add csmith test suite Théophile Bastian 2019-07-15 14:04:54 +0200
• a62e64513c Add gzip to testsuite Théophile Bastian 2019-07-15 14:01:35 +0200
• b2cf0a77df Add heuristics analysis Théophile Bastian 2019-07-15 13:56:02 +0200
• c74ec873eb Synth: tolerate undef rbp merge on leaf blocks Théophile Bastian 2019-07-07 19:04:47 +0200
• faef68303e Chk_gen_eh_frame: exit with 1 upon failure Théophile Bastian 2019-07-07 11:50:50 +0200
• 4811d68213 synth: tolerate rbp def/undef merges (one way only) Théophile Bastian 2019-07-05 17:17:43 +0200
• 1aa6caa36c csmith check: pyramid: tolerate 1st row address Théophile Bastian 2019-07-05 17:14:22 +0200
• 1e39d97c88 Synth: do not follow jumps outside of sub Théophile Bastian 2019-07-05 15:30:17 +0200
• a729f654b0 csmith check: fix break in pyramid detection Théophile Bastian 2019-07-05 15:29:47 +0200
• a3a33d4c88 Add performance analysis code + gzip eval Théophile Bastian 2019-06-11 22:15:32 +0200
• db32807dd0 Fix rbp pop heuristic Théophile Bastian 2019-06-11 18:44:05 +0200
• 4d6187ac21 Fix recursive call synthesis Théophile Bastian 2019-06-11 03:22:55 +0200
• ec75b2fc92 Fix tail call synthesis Théophile Bastian 2019-06-11 03:22:22 +0200
• 3b2cad0dc4 Revert to bap1.5 Théophile Bastian 2019-06-11 03:21:56 +0200
• f1b84f1fbe Add make tarball Théophile Bastian 2019-05-28 21:37:16 +0200
• 07e6fd821e README: dependencies instructions 0.1 Théophile Bastian 2019-05-28 21:16:40 +0200
• ad07f1d30f check_gen_eh_f: better reporting Théophile Bastian 2019-05-28 21:12:49 +0200
• e7c007e811 Compile libdwarfw from master Makefile Théophile Bastian 2019-05-28 17:01:04 +0200
• 8d49af7be8 Use bap 1.6 Théophile Bastian 2019-05-28 17:00:44 +0200
• 174c4e8143 master script: fix generate to same file Théophile Bastian 2019-05-28 16:35:17 +0200
• 6df057260d Add uncommitted tests and curiosities verify_synthesis Théophile Bastian 2019-04-05 16:39:21 +0200
• 11fa3fab40 Check_gen: patch for flat vs pyramid clang tables Théophile Bastian 2019-04-05 16:32:00 +0200
• 344ac84ef3 Ignore ghost subroutines for clang Théophile Bastian 2019-04-05 10:25:34 +0200
• 6c18d9f537 Use rbp only on the subs where we need it Théophile Bastian 2019-04-04 18:03:05 +0200
• 29ab916c55 Fix next_instr_graph out-of-subroutine pointers Théophile Bastian 2019-04-04 19:47:36 +0200
• 5f7dfb6f5f Use disasm to generate next_instr_graph Théophile Bastian 2019-04-04 13:49:39 +0200
• 3d336de196 Add flag to never go back to undefined rbp Théophile Bastian 2019-04-04 11:52:47 +0200
• 4313ee91a7 Curiosities: mov %rsp, %rbp not switching to rbp tracking Théophile Bastian 2019-04-04 11:51:57 +0200
• c3050da113 Csmith checker: check rbp column Théophile Bastian 2019-04-03 18:20:03 +0200
• 5d6929f84c csmith_gen: add COMPILE_CMD option Théophile Bastian 2019-04-03 11:34:02 +0200
• 2b2d44c18e csmith/check_gen_eh_frame: verbose mode Théophile Bastian 2019-04-02 18:40:47 +0200
• 30fe23b541 Fix rbp to rsp switch Théophile Bastian 2019-04-02 18:36:34 +0200
• 180e32a4b3 Generate RBP column when needed Théophile Bastian 2019-04-01 18:51:06 +0200
• fc8c9c45d6 Enhance eh_frame validity checker/differ Théophile Bastian 2019-03-31 16:26:55 +0200
• 681153b954 Script to check csmith synth validity Théophile Bastian 2019-03-29 19:26:58 +0100
• 719fa27f99 Ensure a crashing FDE still generates other FDEs Théophile Bastian 2019-03-27 16:35:54 +0100
• d7c1aaa6b5 CSmith: add script to generate tests Théophile Bastian 2019-03-18 20:50:49 +0100
• 693a48f070 Add synthesize_dwarf.sh Théophile Bastian 2019-03-18 14:27:24 +0100
• 8fa2bc5952 ml_dwarf_write: write to a separate file Théophile Bastian 2019-03-18 14:20:53 +0100
• 484b20c732 initial commit of ocaml->c wrappers. as bap linking is already complicated, two independent binaries communicate via a tmp.marshall file for now. write_dwarf Francesco Zappa Nardelli 2018-12-30 10:10:51 -0800
• 828abdf495 Remove relocation data in dwarf_write Théophile Bastian 2018-12-23 15:36:24 +0100
• effccb087e Convert Simplest types to C-like types Théophile Bastian 2018-12-23 12:27:38 +0100
• db2f5787d3 Tentative rewrite of Dareog to write DWARF to ELF Théophile Bastian 2018-12-23 11:15:46 +0100
• 465c951c0d Add libdwarfw as submodule Théophile Bastian 2018-12-07 17:14:37 +0100
• 0c42aa6bcf Ignore and remove *.plugin compiled files Théophile Bastian 2018-12-07 17:15:20 +0100
• 5ecd56a134 Simplest: compute first and last address of sub Théophile Bastian 2018-11-20 16:55:56 +0100
• e021d781f4 Use AddrMap instead of CfaChange list Théophile Bastian 2018-11-19 18:11:20 +0100
• b395c98b78 Simplest: correctly add beg-of-block values Théophile Bastian 2018-11-19 16:09:56 +0100
• ee6ac40294 Frontend: print as readelf -wF Théophile Bastian 2018-11-19 16:09:37 +0100
• 7ffc33d7a8 Simplest: catch inconsistent subroutine in of_prog Théophile Bastian 2018-11-16 19:11:52 +0100
• b4043249f9 Simplest: fix reverting from rbp to rsp Théophile Bastian 2018-11-16 18:25:53 +0100
• 0f181e93cd Simplest: use rbp Théophile Bastian 2018-11-16 17:17:52 +0100
• 9f09dec677 Simplest: change workflow Théophile Bastian 2018-11-16 13:59:16 +0100
• aec0ab59ad Simplest: use smallest blk addr as entry point Théophile Bastian 2018-11-16 18:02:12 +0100
• b7a5caf87f Simplify evaluation of affine rsp setting expr Théophile Bastian 2018-11-15 17:23:20 +0100
• 745e0d96d9 Basic support for rsp tracking Théophile Bastian 2018-10-25 17:11:08 +0200
• 4096c4bf19 Generate CFA tracking with RIP Théophile Bastian 2018-10-23 19:21:57 +0200
• 194f3f8128 Initial commit Théophile Bastian 2018-10-12 18:39:09 +0200