Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2024

• Merge pull request #13 from S2E/issue/linux-6.8.2

  Show description for ec84db7
  vitalych

  authored
  ec84db7

  Copy full SHA for ec84db7

Commits on Apr 1, 2024

• linux-6.8.2: disabled kernel aslr

  Show description for 438de4b
  vitalych

  committed
  438de4b

  Copy full SHA for 438de4b

Commits on Mar 31, 2024

• linux-6.8.2: added s2e support

  Show description for 3f91b1d
  vitalych

  committed
  3f91b1d

  Copy full SHA for 3f91b1d

• linux: created default configs for linux 6.8.2

  Show description for 9de0feb
  vitalych

  committed
  9de0feb

  Copy full SHA for 9de0feb

Commits on Mar 29, 2024

• linux: added 6.8.2 kernel

  Show description for 0bd6d8f
  vitalych

  committed
  0bd6d8f

  Copy full SHA for 0bd6d8f

Commits on Jan 22, 2023

• Merge pull request #12 from S2E/issue/489-instcnt

  Show description for 81dcf04
  vitalych

  authored
  81dcf04

  Copy full SHA for 81dcf04

Commits on Jan 15, 2023

• linux,decree: fixed thread detection

  Show description for 4a6cca2
  vitalych

  committed
  4a6cca2

  Copy full SHA for 4a6cca2

• Fixed code style

  Show description for 6f83530
  vitalych

  committed
  6f83530

  Copy full SHA for 6f83530

Commits on Dec 20, 2021

• README: fix build failure caused by `apt-get build-dep`

  Show description for 1e2dfec
  

  aesophor

  authored and

  vitalych

  committed
  1e2dfec

  Copy full SHA for 1e2dfec

Commits on Jun 12, 2019

• include: removed s2e_make_concolic

  Show description for 2a62845
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  2a62845

  Copy full SHA for 2a62845

Commits on May 29, 2019

• s2e/opcodes: removed obsolete opcodes

  Show description for 5dd71ec
  

  vitaly-cyberhaven

  authored and

  vitalych

  committed
  5dd71ec

  Copy full SHA for 5dd71ec

Commits on Apr 7, 2019

• Merge pull request #8 from S2E/issue/124-moddesc

  Show description for 901bd57
  vitalych

  authored
  901bd57

  Copy full SHA for 901bd57

Commits on Mar 28, 2019

• Added ad-hoc style for binfmt source files

  Show description for d371f02
  vitaly-cyberhaven

  committed
  d371f02

  Copy full SHA for d371f02

• Updated module loading for cgc and elf files

  Show description for 828726d
  vitaly-cyberhaven

  committed
  828726d

  Copy full SHA for 828726d

• linux-4.9.3: reformatted binfmt_elf

  Show description for c18428d
  vitaly-cyberhaven

  committed
  c18428d

  Copy full SHA for c18428d

• decree-cgc-cfe: reformatted binfmt_cgc

  Show description for 359394e
  vitaly-cyberhaven

  committed
  359394e

  Copy full SHA for 359394e

Commits on Mar 24, 2019

• include/s2e: refactored module loading headers

  Show description for 86efd7f
  vitaly-cyberhaven

  committed
  86efd7f

  Copy full SHA for 86efd7f

Commits on May 31, 2018

• Merge pull request #7 from S2E/issue/141-memmap

  Show description for fab6b51
  vitalych

  authored
  fab6b51

  Copy full SHA for fab6b51

Commits on May 29, 2018

• Added support for mmap/munmap/mprotect + fixed process/module load

  Show description for aafc806
  vitaly-cyberhaven

  committed
  aafc806

  Copy full SHA for aafc806

Commits on May 27, 2018

• s2e.c: fixed warnings

  Show description for 7370b5e
  vitaly-cyberhaven

  committed
  7370b5e

  Copy full SHA for 7370b5e

• Increased line size to 120 characters

  Show description for 7fb0b5d
  vitaly-cyberhaven

  committed
  7fb0b5d

  Copy full SHA for 7fb0b5d

• Added scripts to create qt projects

  Show description for 3fc18fd
  vitaly-cyberhaven

  committed
  3fc18fd

  Copy full SHA for 3fc18fd

Commits on Apr 28, 2018

• Merge pull request #6 from S2E/kernel-load-base

  Show description for f800c4b
  vitalych

  authored
  f800c4b

  Copy full SHA for f800c4b

Commits on Apr 13, 2018

• Fixed code style in S2E files

  Show description for 290e904
  vitaly-cyberhaven

  committed
  290e904

  Copy full SHA for 290e904

• Added clang format style for Linux kernel

  Show description for cf8a44a
  vitaly-cyberhaven

  committed
  cf8a44a

  Copy full SHA for cf8a44a

• Pass kernel load address to the monitor plugins

  Show description for 0db91f0
  vitaly-cyberhaven

  committed
  0db91f0

  Copy full SHA for 0db91f0

Commits on Nov 7, 2017

• Merge pull request #5 from S2E/kernel-panic

  Show description for c8df595
  vitalych

  authored
  c8df595

  Copy full SHA for c8df595

Commits on Nov 5, 2017

• decree: reformatted binfmt_cgc with Linux code style

  Show description for f9b11e1
  vitaly-cyberhaven

  committed
  f9b11e1

  Copy full SHA for f9b11e1

• Report kernel panics to the monitor plugins

  Show description for 364c0ab
  vitaly-cyberhaven

  committed
  364c0ab

  Copy full SHA for 364c0ab

• decree: fixed kernel configuration

  Show description for da5e4be
  vitaly-cyberhaven

  committed
  da5e4be

  Copy full SHA for da5e4be

Commits on Aug 6, 2017

• decree_monitor: port S2E driver to Decree

  Show description for 6ee6c86
  

  Adrian Herrera

  authored and

  adrianherrera

  committed
  6ee6c86

  Copy full SHA for 6ee6c86

• linux_monitor: removed redundant checks

  Show description for 64abea7
  

  Adrian Herrera

  authored and

  adrianherrera

  committed
  64abea7

  Copy full SHA for 64abea7

• linux: refactoring to correctly track the current_task

  Show description for ab588d6
  

  Adrian Herrera

  authored and

  adrianherrera

  committed
  ab588d6

  Copy full SHA for ab588d6

• README: removed redundant information

  Show description for 9325038
  

  Adrian Herrera

  authored and

  adrianherrera

  committed
  9325038

  Copy full SHA for 9325038

• decree: updated .config

  Show description for 66f8e5e
  

  Adrian Herrera

  authored and

  adrianherrera

  committed
  66f8e5e

  Copy full SHA for 66f8e5e

Pagination

Previous

Next