Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2023

• add image of large CFG

  slasser

  committed
  21d58d7

  Copy full SHA for 21d58d7

• add CFG images

  slasser

  committed
  8d3b691

  Copy full SHA for 8d3b691

Commits on Mar 10, 2023

• Sam/highlighted cfg paths (#381)

  Show description for 35dc9e6
  slasser

  authored
  35dc9e6

  Copy full SHA for 35dc9e6

Commits on Feb 24, 2023

• Fixes not extracting the memory model from lambda terms (#380)

  Show description for 8e6ab1c
  

  bmourad01

  and

  bmourad01

  authored
  8e6ab1c

  Copy full SHA for 8e6ab1c

Commits on Feb 23, 2023

• Fixes building the plugin for latest BAP (#379)

  Show description for aa8609c
  

  bmourad01

  and

  bmourad01

  authored
  aa8609c

  Copy full SHA for aa8609c

Commits on Jan 6, 2023

• Fix typo in bap-notes

  jtpaasch

  authored
  43e41f2

  Copy full SHA for 43e41f2

Commits on Nov 9, 2022

• Move external solver logs to diagnostics and fix integration tests (#375)

  

  Chloe Fortuna

  authored
  36496cb

  Copy full SHA for 36496cb

• Add exit codes to wp (#374)

  Show description for 22d7cf5
  

  Chloe Fortuna

  authored
  22d7cf5

  Copy full SHA for 22d7cf5

Commits on Nov 3, 2022

• Add diagnostics to show flag (#373)

  

  Chloe Fortuna

  authored
  77d4785

  Copy full SHA for 77d4785

Commits on Oct 25, 2022

• Documentation style nits

  jtpaasch

  committed
  e73b838

  Copy full SHA for e73b838

• Create flag for turning off the chaos spec (#371)

  Show description for 8fffde2
  

  Chloe Fortuna

  authored
  8fffde2

  Copy full SHA for 8fffde2

Commits on Oct 12, 2022

• Jt/limit opam jobs (#372)

  Show description for a2de1be
  jtpaasch

  authored
  a2de1be

  Copy full SHA for a2de1be

Commits on Sep 14, 2022

• Clarify that different versions/installations of CBAT might produce different TIDs and solutions, and fix small typos. (#370)

  Show description for a492f1c
  slasser

  authored
  a492f1c

  Copy full SHA for a492f1c

Commits on Jul 13, 2022

• Update Core_kernel to Core (#369)

  Show description for 78c665c
  

  Chloe Fortuna

  and

  jtpaasch

  authored
  78c665c

  Copy full SHA for 78c665c

• Update 03-Using-the-CLI.md

  Show description for 4cf4ba2
  gregsgit

  authored
  4cf4ba2

  Copy full SHA for 4cf4ba2

Commits on Jun 30, 2022

• Changes `init-mem` to look at all read-only segments (#368)

  Show description for 3d94cc3
  

  bmourad01

  and

  bmourad01

  authored
  3d94cc3

  Copy full SHA for 3d94cc3

Commits on Jun 21, 2022

• Fixes detection of intrinsic calls in BAP (#367)

  Show description for decddb1
  

  bmourad01

  and

  bmourad01

  authored
  decddb1

  Copy full SHA for decddb1

Commits on Jun 15, 2022

• Print the SMT model to a file when running an external solver (#365)

  Show description for 0bc3ada
  

  bmourad01

  and

  bmourad01

  authored
  0bc3ada

  Copy full SHA for 0bc3ada

Commits on Mar 30, 2022

• Programmatically run the with-no-return pass (#364)

  Show description for 119528b
  

  Chloe Fortuna

  authored
  119528b

  Copy full SHA for 119528b

• Add err to list of filter targets (#363)

  

  Chloe Fortuna

  authored
  1d5dac4

  Copy full SHA for 1d5dac4

• Add support for using the BAP ogre lifter via a wp command line option (#362)

  Show description for d31daf2
  

  ccasin

  and

  Chloe Fortuna

  authored
  d31daf2

  Copy full SHA for d31daf2

Commits on Mar 3, 2022

• Trim subroutine name for user func specs (#360)

  

  Chloe Fortuna

  authored
  a10d7ae

  Copy full SHA for a10d7ae

Commits on Mar 2, 2022

• Adding bap 2.0 notes (#361)

  Show description for 0278ab0
  jtpaasch

  authored
  0278ab0

  Copy full SHA for 0278ab0

Commits on Feb 10, 2022

• Check read address against a range rather than a set of concrete addresses (#358)

  

  Chloe Fortuna

  authored
  072ba0a

  Copy full SHA for 072ba0a

Commits on Feb 2, 2022

• Fail when sub handler cannot be found (#357)

  

  Chloe Fortuna

  authored
  560b3e8

  Copy full SHA for 560b3e8

Commits on Jan 28, 2022

• Floating point instruction handler (#353)

  Show description for d1b892d
  

  Chloe Fortuna

  authored
  d1b892d

  Copy full SHA for d1b892d

Commits on Nov 30, 2021

• Ccasin/user func spec modified vars fix (#350)

  Show description for 8e74727
  

  Chris Casinghino

  authored
  8e74727

  Copy full SHA for 8e74727

Commits on Nov 23, 2021

• Different func specs (#349)

  Show description for 7bb7e36
  

  Chris Casinghino

  authored
  7bb7e36

  Copy full SHA for 7bb7e36

Commits on Nov 17, 2021

• Print arrays in models (#327)

  Show description for 07b03e6
  

  Chloe Fortuna

  authored
  07b03e6

  Copy full SHA for 07b03e6

Commits on Oct 26, 2021

• Use user preference for init_mem in comparative analysis (#347)

  

  Chris Casinghino

  authored
  5698f2b

  Copy full SHA for 5698f2b

Commits on Sep 22, 2021

• Merge pull request #338 from draperlaboratory/nickroess/unrolled-libc

  Show description for 8891fde
  nickroess

  authored
  8891fde

  Copy full SHA for 8891fde

• Remove strcat define

  nickroess

  committed
  50adf5c

  Copy full SHA for 50adf5c

Commits on Sep 15, 2021

• Remove unnecessary pre and postconditions about RDI in spec tests

  

  nickroess

  authored and

  codyroux

  committed
  f3dc254

  Copy full SHA for f3dc254

• Update reference.html to include user-func-spec

  

  nickroess

  authored and

  codyroux

  committed
  276b2c8

  Copy full SHA for 276b2c8

• Add new test for multiple user specs

  

  nickroess

  authored and

  codyroux

  committed
  0ed4017

  Copy full SHA for 0ed4017

Pagination

Previous

Next