Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 8, 2020

• Legacy floating point lifter (BinaryAnalysisPlatform#1255)

  Show description for 17186a9
  

  percontation

  and

  ivg

  authored
  17186a9

  Copy full SHA for 17186a9

Commits on Dec 2, 2020

• fixes the callgraph formation procedure in Primus Lisp typechecker (BinaryAnalysisPlatform#1251)

  Show description for 4b26c04
  ivg

  authored
  4b26c04

  Copy full SHA for 4b26c04

Commits on Nov 24, 2020

• protects symbolic executor from segfaults when setting memory inputs (BinaryAnalysisPlatform#1246)

  Show description for 68d34da
  ivg

  authored
  68d34da

  Copy full SHA for 68d34da

Commits on Nov 20, 2020

• tweaks the Taint Engine and partially rewrites the Taint GC (BinaryAnalysisPlatform#1244)

  Show description for 1577b86
  ivg

  authored
  1577b86

  Copy full SHA for 1577b86

• enables intermachine communication (BinaryAnalysisPlatform#1243)

  Show description for 42bd9e3
  ivg

  authored
  42bd9e3

  Copy full SHA for 42bd9e3

Commits on Nov 17, 2020

• makes the taint-attached observation on taint introductions (BinaryAnalysisPlatform#1241)

  Show description for 2b911c3
  ivg

  authored
  2b911c3

  Copy full SHA for 2b911c3

Commits on Nov 13, 2020

• fixes bapbuild by removing no longer necessary predicates (BinaryAnalysisPlatform#1239)

  Show description for b6520b8
  ivg

  authored
  b6520b8

  Copy full SHA for b6520b8

Commits on Nov 12, 2020

• fixes improper compartmentalization of project computations (BinaryAnalysisPlatform#1238)

  Show description for acf162d
  ivg

  authored
  acf162d

  Copy full SHA for acf162d

Commits on Nov 10, 2020

• fixes warnings introduced with BinaryAnalysisPlatform#1116 (BinaryAnalysisPlatform#1236)

  Show description for a776630
  ivg

  authored
  a776630

  Copy full SHA for a776630

• adds binding operators to the monads library (BinaryAnalysisPlatform#1234)

  Show description for 874454e
  ivg

  authored
  874454e

  Copy full SHA for 874454e

Commits on Nov 9, 2020

• updates to OCaml 4.{10,11}, drops 4.07, and switches to core_kernel v0.14 (BinaryAnalysisPlatform#1116)

  Show description for 36285d6
  

  drvink

  and

  ivg

  authored
  36285d6

  Copy full SHA for 36285d6

Commits on Nov 6, 2020

• fixes Machine.Observation.watch function and publishes fork/switch (BinaryAnalysisPlatform#1233)

  Show description for 447f44b
  ivg

  authored
  447f44b

  Copy full SHA for 447f44b

Commits on Nov 3, 2020

• enables ARM Thumb/Thumb2 and interworking (BinaryAnalysisPlatform#1178)

  Show description for 32391a7
  

  Phosphorus15

  and

  ivg

  authored
  32391a7

  Copy full SHA for 32391a7

Commits on Oct 19, 2020

• adds a proper handling of unitialized memory in Primus.Memory.map (BinaryAnalysisPlatform#1230)

  Show description for 9a9ad74
  ivg

  authored
  9a9ad74

  Copy full SHA for 9a9ad74

Commits on Oct 6, 2020

• upgrades bap to LLVM 11 (BinaryAnalysisPlatform#1229)

  Show description for d23861c
  ivg

  authored
  d23861c

  Copy full SHA for d23861c

Commits on Oct 5, 2020

• overhauls the target/architecture abstraction (3/n) (BinaryAnalysisPlatform#1227)

  Show description for 2faaa42
  ivg

  authored
  2faaa42

  Copy full SHA for 2faaa42

Commits on Oct 1, 2020

• overhauls the target/architecture abstraction (2/n) (BinaryAnalysisPlatform#1226)

  Show description for aae5c10
  ivg

  authored
  aae5c10

  Copy full SHA for aae5c10

Commits on Sep 25, 2020

• overhauls the target/architecture abstraction (1/n)

  Show description for 0095046
  ivg

  committed
  0095046

  Copy full SHA for 0095046

• uses real names for Knowledge.Name.t sexp-serialization

  ivg

  committed
  543e684

  Copy full SHA for 543e684

• implements bin_io and sexp protocol for OGRE docs

  Show description for 7ddeba0
  ivg

  committed
  7ddeba0

  Copy full SHA for 7ddeba0

• optimizes the merge function for OGRE documents

  Show description for 6bcf3c4
  ivg

  committed
  6bcf3c4

  Copy full SHA for 6bcf3c4

Commits on Sep 16, 2020

• switches to Fowler-Noll-Vo hash algorithm for hashing names (BinaryAnalysisPlatform#1221)

  Show description for 0daabc7
  ivg

  authored
  0daabc7

  Copy full SHA for 0daabc7

Commits on Sep 15, 2020

• removes section and other symbols in ELF (BinaryAnalysisPlatform#1220)

  Show description for 6c50124
  ivg

  authored
  6c50124

  Copy full SHA for 6c50124

Commits on Sep 10, 2020

• knowledge base improvements (BinaryAnalysisPlatform#1217)

  Show description for 168ca30
  ivg

  authored
  168ca30

  Copy full SHA for 168ca30

Commits on Aug 26, 2020

• enables enumeration of objects in the knowledge base (BinaryAnalysisPlatform#1212)

  Show description for cc73915
  ivg

  authored
  cc73915

  Copy full SHA for cc73915

Commits on Aug 21, 2020

• improves symbolization facilities (BinaryAnalysisPlatform#1209)

  Show description for c8250d3
  ivg

  authored
  c8250d3

  Copy full SHA for c8250d3

Commits on Aug 6, 2020

• Builds the primus-api documentation (BinaryAnalysisPlatform#1199)

  Show description for 53d1244
  gitoleg

  authored
  53d1244

  Copy full SHA for 53d1244

• implements support for ARM Modified Immediate Constants (BinaryAnalysisPlatform#1196)

  Show description for 7a18ffb
  ivg

  authored
  7a18ffb

  Copy full SHA for 7a18ffb

Commits on Aug 5, 2020

• adds the specification command (BinaryAnalysisPlatform#1197)

  Show description for 4d34311
  ivg

  authored
  4d34311

  Copy full SHA for 4d34311

• adds is-executable and format attributes and fixes glibc rt check (BinaryAnalysisPlatform#1198)

  Show description for 856edb2
  ivg

  authored
  856edb2

  Copy full SHA for 856edb2

• renovates the LLVM backend (BinaryAnalysisPlatform#1187)

  Show description for 27a7a5d
  

  ivg

  and

  gitoleg

  authored
  27a7a5d

  Copy full SHA for 27a7a5d

Commits on Jul 15, 2020

• enables multiple projects in the same knowledge base (BinaryAnalysisPlatform#1119)

  Show description for 53da1ca
  ivg

  authored
  53da1ca

  Copy full SHA for 53da1ca

Commits on Jul 9, 2020

• publishes and documents the new disassembler engine (BinaryAnalysisPlatform#1173)

  Show description for 0bfd853
  ivg

  authored
  0bfd853

  Copy full SHA for 0bfd853

Commits on Jul 8, 2020

• prevents delay slots from becoming a basic block start (BinaryAnalysisPlatform#1170)

  Show description for 20c9000
  ivg

  authored
  20c9000

  Copy full SHA for 20c9000

Commits on Jul 1, 2020

• fixes barrier instructions with delay slots (BinaryAnalysisPlatform#1165)

  Show description for cf5af07
  ivg

  authored
  cf5af07

  Copy full SHA for cf5af07

Pagination

Previous

Next