dslab-epfl/svshi dslab-epfl/svshi

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Python
  • License
    MIT License
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dslab-epfl/svshi
github

dslab-epfl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formal verification for smart infrastructure (buildings, cities, etc.)

More Repositories

1

tinynf

Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
Roff
58
star
2

cloud9

The Cloud9 main repository
C++
52
star
3

asap

Official repository for ASAP: High System-code Security at Low Overhead
C++
24
star
4

lfi

Fault injection library
Objective-C
22
star
5

pix

Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
C
16
star
6

chef

The Chef symbolic execution platform, based off S2E
C
13
star
7

chef-symbex-python

A modded Python interpreter that supports symbolic execution.
Python
11
star
8

klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
Python
8
star
9

ebpf-se

Tool to symbolically execute eBPF programs
C
8
star
10

gist-static-analyzer

C++
7
star
11

chef-symbex-lua

Lua interpreter modded to support symbolic execution
C
7
star
12

cloud9-uclibc

The Cloud9/KLEE uClibc library
C
6
star
13

concord

C
6
star
14

nfos

A framework for productive development of scalable network functions
C
6
star
15

chef-tools

Python
6
star
16

myedu-catalog

EPFL MyEdu Course Catalog
Python
5
star
17

bugbase

A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
Python
5
star
18

lpn

Repo for Performance Interfaces for Hardware Accelerators.
C++
5
star
19

systems-epfl.github.io

Systems @EPFL research group home page.
HTML
4
star
20

memcached-llvm

A memcached version adapted for LLVM
C
3
star
21

cloud9-depot

The Cloud9 depot (root repository)
C++
3
star
22

symbex-smt-queries

A collection of SMT queries arising in symbolic execution workloads
2
star
23

warr

Automatically exported from code.google.com/p/warr
C++
2
star
24

accessibility-checker

Tools to check the accessibility of course material and provide suggestions for improving it.
PHP
2
star
25

buddy-suite

Automatically exported from code.google.com/p/buddy-suite
Scala
1
star
26

cloud9-boolector

Mirror of the Cloud9 Boolector repository
C
1
star
27

dimmunix

Automatically exported from code.google.com/p/dimmunix
C
1
star
28

s2e2-gui

GUI for interacting with S2E2
Python
1
star
29

jagr

Automatically exported from code.google.com/p/jagr
Java
1
star
30

s2e-guest

S2E guest utilities
C++
1
star