Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 19, 2024

• Report model insert trace time and turn off ksymaddr for non-0 pid with ebpf programs

  kyechou

  committed
  73befc0

  Copy full SHA for 73befc0

Commits on Sep 17, 2024

• Minor future proof improvement; shouldn't affect anything

  kyechou

  committed
  930800d

  Copy full SHA for 930800d

• ebpf-demo-stateless is working

  kyechou

  committed
  6b77ba0

  Copy full SHA for 6b77ba0

Commits on Sep 16, 2024

• Kill states with unsat path constraints

  kyechou

  committed
  903dd2f

  Copy full SHA for 903dd2f

• Remove commented query code and kill unsat states

  kyechou

  committed
  ba34851

  Copy full SHA for ba34851

Commits on Sep 15, 2024

• Fix sender timer issue with kernel-ip-* examples

  kyechou

  committed
  1d19d94

  Copy full SHA for 1d19d94

• Make allowing kernel symbolic address configurable

  kyechou

  committed
  a06ef4b

  Copy full SHA for a06ef4b

• Allow configuring execution timeout

  kyechou

  committed
  36b4fdf

  Copy full SHA for 36b4fdf

Commits on Sep 12, 2024

• Fix egress intf (ifindex - 2)

  kyechou

  committed
  2bfde19

  Copy full SHA for 2bfde19

• Avoid well-known file extension

  kyechou

  committed
  1a9648d

  Copy full SHA for 1a9648d

• Record parameters in model names

  kyechou

  committed
  6ef7567

  Copy full SHA for 6ef7567

• Export extracted model to file

  kyechou

  committed
  92d6eb4

  Copy full SHA for 92d6eb4

• Use default arguments for libps manager initialization

  kyechou

  committed
  b4fddb4

  Copy full SHA for b4fddb4

Commits on Sep 11, 2024

• Update comments and disable unneeded greedy kill

  kyechou

  committed
  527fc70

  Copy full SHA for 527fc70

• Make allowKernelForking configurable through lua

  kyechou

  committed
  e463d47

  Copy full SHA for e463d47

Commits on Sep 10, 2024

• Disable kernel forking

  kyechou

  committed
  f28d626

  Copy full SHA for f28d626

• Implement sender timer for silent packet drops

  kyechou

  committed
  2f43aec

  Copy full SHA for 2f43aec

• Kernel ingress and egress are generally working (not stopping)

  kyechou

  committed
  f7c42f0

  Copy full SHA for f7c42f0

Commits on Sep 7, 2024

• Make model max depth configuration during project creation

  kyechou

  committed
  04803db

  Copy full SHA for 04803db

• Report sylvan stats nicely

  kyechou

  committed
  6a90175

  Copy full SHA for 6a90175

• Manually reset the ps manager on engine shutdown

  kyechou

  committed
  8d0dc64

  Copy full SHA for 8d0dc64

Commits on Aug 29, 2024

• Support kernel-based NFs

  

  al0wner

  authored and

  kyechou

  committed
  1f7ffcc

  Copy full SHA for 1f7ffcc

Commits on Aug 9, 2024

• Create Mimesis plugin (placeholder)

  kyechou

  committed
  fd00008

  Copy full SHA for fd00008

Commits on Jun 11, 2024

• libs2eplugins: writing a custom plugin

  Show description for b92d8a2
  kyechou

  committed
  b92d8a2

  Copy full SHA for b92d8a2

• cmake: output compile_commands.json

  Show description for ec71ddc
  kyechou

  committed
  ec71ddc

  Copy full SHA for ec71ddc

• guest/linux: redirect bootstrap.sh stderr to serial

  Show description for 8c3c930
  kyechou

  committed
  8c3c930

  Copy full SHA for 8c3c930

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

Pagination

Previous

Next