Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2024

• testsuite/basic7-instmon: fixed address extraction

  Show description for 0cab056
  vitalych

  committed
  0cab056

  Copy full SHA for 0cab056

• testsuite/cadet0: use hard-coded binary instead of building

  Show description for 0f29508
  vitalych

  committed
  0f29508

  Copy full SHA for 0f29508

• libcpu: fixed hflags initialization in cpu_compute_hflags

  Show description for 1f512b6
  vitalych

  committed
  1f512b6

  Copy full SHA for 1f512b6

• libcpu/i386/op_helper: properly handle single path build

  Show description for 187ad43
  vitalych

  committed
  187ad43

  Copy full SHA for 187ad43

Commits on Sep 22, 2024

• core/memory: fixed crash in single-path mode

  Show description for 799ad0b
  vitalych

  committed
  799ad0b

  Copy full SHA for 799ad0b

Commits on Jul 27, 2024

• github: build everything

  Show description for 0d4a21e
  vitalych

  committed
  0d4a21e

  Copy full SHA for 0d4a21e

• guest/linux/povtest: fixed linker error

  

  m4p1e

  authored and

  vitalych

  committed
  c3edb54

  Copy full SHA for c3edb54

• guest/linux/cgcload: fixed implicit function declarations

  

  m4p1e

  authored and

  vitalych

  committed
  23c7693

  Copy full SHA for 23c7693

Commits on Jun 2, 2024

• Merge pull request #100 from S2E/issue/503-cgc

  Show description for 4caf969
  vitalych

  authored
  4caf969

  Copy full SHA for 4caf969

• docs: update pov tutorial

  Show description for 88b8446
  vitalych

  committed
  88b8446

  Copy full SHA for 88b8446

• testsuite/pov-cgc-cadet0: fixed build and validate pov

  Show description for ce29b6c
  vitalych

  committed
  ce29b6c

  Copy full SHA for ce29b6c

• RecipeDescriptor: fixed plugin lookup

  Show description for 7e978ad
  vitalych

  committed
  7e978ad

  Copy full SHA for 7e978ad

• Recipe: optimized page lookup

  Show description for eac745c
  vitalych

  committed
  eac745c

  Copy full SHA for eac745c

• MemUtils: support read-only pages in page finder

  Show description for 42e614e
  vitalych

  committed
  42e614e

  Copy full SHA for 42e614e

• MemUtils: optimized page finder

  Show description for 01c0d9e
  vitalych

  committed
  01c0d9e

  Copy full SHA for 01c0d9e

• RegionMap: added getter for interval map

  Show description for 400dbe2
  vitalych

  committed
  400dbe2

  Copy full SHA for 400dbe2

• DecreePovGenerator: treat crashes without POV as Type1 POV with null mask

  Show description for 1a41f26
  vitalych

  committed
  1a41f26

  Copy full SHA for 1a41f26

• DecreePovGenerator: fixed C template for new libpov

  Show description for f9ce4ce
  vitalych

  committed
  f9ce4ce

  Copy full SHA for f9ce4ce

• DecreePovGenerator: removed xml format from decree pov generator

  Show description for 535733a
  vitalych

  committed
  535733a

  Copy full SHA for 535733a

• LinuxMonitor: moved kill process group option from DecreeMonitor

  Show description for 9ed30d6
  vitalych

  committed
  9ed30d6

  Copy full SHA for 9ed30d6

• DecreeMonitor: removed generic OS monitoring support

  Show description for c5f61e5
  vitalych

  committed
  c5f61e5

  Copy full SHA for c5f61e5

• MemoryMap: removed decree support

  Show description for 327d957
  vitalych

  committed
  327d957

  Copy full SHA for 327d957

• plugins/memutils: fixed build error

  Show description for 0449e20
  vitalych

  committed
  0449e20

  Copy full SHA for 0449e20

• plugins: pass full guest data to onSegFault signal

  Show description for 0f8acf3
  vitalych

  committed
  0f8acf3

  Copy full SHA for 0f8acf3

• guest/linux: removed cgccmd

  Show description for b1130f4
  vitalych

  committed
  b1130f4

  Copy full SHA for b1130f4

• guest/linux/povtest: added tool to test generated POVs

  Show description for 2952122
  vitalych

  committed
  2952122

  Copy full SHA for 2952122

• guest/linux/cgcload: added tool to run cgc binaries on linux

  Show description for 241326b
  vitalych

  committed
  241326b

  Copy full SHA for 241326b

• guest/linux/libpov: added pov negotiation library

  Show description for 5d05ce7
  vitalych

  committed
  5d05ce7

  Copy full SHA for 5d05ce7

• guest/linux/libcgc: decree syscall emulation for linux

  Show description for 5c7a241
  vitalych

  committed
  5c7a241

  Copy full SHA for 5c7a241

Commits on May 2, 2024

• libs2e: bugfix handling of S2E_MAX_PROCESS env

  Show description for 3063162
  

  m4mbr3

  authored and

  vitalych

  committed
  3063162

  Copy full SHA for 3063162

Commits on Apr 20, 2024

• Merge pull request #97 from S2E/issue/265-deps

  Show description for 2d21ad6
  vitalych

  authored
  2d21ad6

  Copy full SHA for 2d21ad6

• klee: fixed z3 api

  Show description for fe19f55
  vitalych

  committed
  fe19f55

  Copy full SHA for fe19f55

• makefile: upgraded z3

  Show description for adb7d48
  vitalych

  committed
  adb7d48

  Copy full SHA for adb7d48

• makefile: updated lua + download lua from github releases

  Show description for d87b263
  vitalych

  committed
  d87b263

  Copy full SHA for d87b263

• makefile: download libdwarf from github release page

  Show description for 11b721c
  vitalych

  committed
  11b721c

  Copy full SHA for 11b721c

Pagination

Previous

Next