Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 24, 2022

• libs2eplugins/IntervalMapWrapper: remove outdated comment

  Show description for f707acf
  

  aesophor

  authored and

  vitalych

  committed
  f707acf

  Copy full SHA for f707acf

Commits on Jan 18, 2022

• Merge pull request #39 from S2E/issue/448-modmap

  Show description for 428f734
  vitalych

  authored
  428f734

  Copy full SHA for 428f734

• github: run tests on pull request

  Show description for afb4328
  vitaly-cyberhaven

  committed
  afb4328

  Copy full SHA for afb4328

• Makefile/rapidjson: updated to latest version

  Show description for f999c66
  vitaly-cyberhaven

  committed
  f999c66

  Copy full SHA for f999c66

• makefile/rapidjson: don't build tests

  Show description for 1c080d3
  vitaly-cyberhaven

  committed
  1c080d3

  Copy full SHA for 1c080d3

• ModuleMap: use RegionMap

  Show description for 2c547ab
  vitaly-cyberhaven

  committed
  2c547ab

  Copy full SHA for 2c547ab

• MemoryMap: use RegionMap

  Show description for 362c84c
  vitaly-cyberhaven

  committed
  362c84c

  Copy full SHA for 362c84c

• OSMonitors/Support: added generic region map

  Show description for d7eabb3
  vitaly-cyberhaven

  committed
  d7eabb3

  Copy full SHA for d7eabb3

• Plugins/OSMonitors/Support: added IntervalMap wrapper class

  Show description for 5ae5ae5
  vitaly-cyberhaven

  committed
  5ae5ae5

  Copy full SHA for 5ae5ae5

• MemoryMap: fixed address in lookupRegion

  Show description for b22177b
  vitaly-cyberhaven

  committed
  b22177b

  Copy full SHA for b22177b

• libs2ecore,libs2eplugins: emit condition onStateForkDecide

  Show description for b278343
  

  aesophor

  authored and

  vitalych

  committed
  b278343

  Copy full SHA for b278343

Commits on Jan 5, 2022

• makefile: specify the output file name for wget command

  Show description for fd74005
  

  benquike

  authored and

  vitalych

  committed
  fd74005

  Copy full SHA for fd74005

Commits on Dec 15, 2021

• libs2ecore: reuse `pointerSize` argument

  Show description for 17c319d
  

  aesophor

  authored and

  vitalych

  committed
  17c319d

  Copy full SHA for 17c319d

Commits on Nov 23, 2021

• github: added clang-format action

  Show description for 451b515
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  451b515

  Copy full SHA for 451b515

• guest/windows/symchk: cleaned up code

  Show description for ea137c9
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  ea137c9

  Copy full SHA for ea137c9

• guest/windows: updated requirements

  Show description for 7bc3fe1
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  7bc3fe1

  Copy full SHA for 7bc3fe1

• klee/Ref: made `ref::isNull()` private

  Show description for 3d6d03a
  

  aesophor

  authored and

  vitalych

  committed
  3d6d03a

  Copy full SHA for 3d6d03a

• libs2eplugins: replace the use of `ref::isNull()` with `ref::operator bool()`

  Show description for 740b84b
  

  aesophor

  authored and

  vitalych

  committed
  740b84b

  Copy full SHA for 740b84b

• libs2ecore: replace the use of `ref::isNull()` with `ref::operator bool()`

  Show description for 32d60f6
  

  aesophor

  authored and

  vitalych

  committed
  32d60f6

  Copy full SHA for 32d60f6

• klee: replace the use of `ref::isNull()` with `ref::operator bool()`

  Show description for 338a882
  

  aesophor

  authored and

  vitalych

  committed
  338a882

  Copy full SHA for 338a882

Commits on Nov 18, 2021

• s2e/executor: fixed crash caused by uninitialized vector

  Show description for d9161bb
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  d9161bb

  Copy full SHA for d9161bb

Commits on Nov 16, 2021

• klee/Ref: implemented operator bool()

  Show description for 3b3227d
  

  aesophor

  authored and

  vitalych

  committed
  3b3227d

  Copy full SHA for 3b3227d

Commits on Nov 7, 2021

• Merge pull request #34 from aesophor/unconditional-forking

  Show description for c6233b8
  vitalych

  authored
  c6233b8

  Copy full SHA for c6233b8

• S2EExecutor: replace `std::vector` with `llvm::SmallVector`

  Show description for 1a5fd82
  aesophor

  committed
  1a5fd82

  Copy full SHA for 1a5fd82

Commits on Nov 5, 2021

• testsuite/basic10-fork-no-constraint: add test for `s2e_fork`

  Show description for 56cd11d
  aesophor

  committed
  56cd11d

  Copy full SHA for 56cd11d

• libs2eplugins/BaseInstructions: redesigned `s2e_fork`

  Show description for 4d553f2
  aesophor

  committed
  4d553f2

  Copy full SHA for 4d553f2

Commits on Nov 4, 2021

• klee,s2e: add support for fork() without symbolic conditions

  Show description for f9278bb
  aesophor

  committed
  f9278bb

  Copy full SHA for f9278bb

Commits on Nov 3, 2021

• klee/Assignment: add a deep-copying version of create()

  Show description for d8b2cad
  aesophor

  committed
  d8b2cad

  Copy full SHA for d8b2cad

Commits on Nov 2, 2021

• klee/Executor: use nullptr instead of 0

  Show description for bf2b660
  

  aesophor

  authored and

  vitalych

  committed
  bf2b660

  Copy full SHA for bf2b660

Commits on Oct 16, 2021

• LinuxMonitor: handle mmap failure

  Show description for 8a41e8b
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  8a41e8b

  Copy full SHA for 8a41e8b

• scripts/windows: fixed windows env setup script

  Show description for 640140c
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  640140c

  Copy full SHA for 640140c

Commits on Sep 29, 2021

• makefile: upgrade capstone to 4.0.2

  Show description for 1e99631
  

  aesophor

  authored and

  vitalych

  committed
  1e99631

  Copy full SHA for 1e99631

Commits on Sep 23, 2021

• scripts: fixed linux distribution detection

  Show description for bbdf955
  

  aesophor

  authored and

  vitalych

  committed
  bbdf955

  Copy full SHA for bbdf955

Commits on Aug 30, 2021

• klee: fixed path to solver logs

  Show description for 71203bd
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  71203bd

  Copy full SHA for 71203bd

Commits on Mar 20, 2021

• build(deps): bump jinja2 from 2.10.1 to 2.11.3 in /guest/windows

  Show description for 0be5c89
  

  dependabot[bot]

  authored and

  vitalych

  committed
  0be5c89

  Copy full SHA for 0be5c89

Pagination

Previous

Next