COMSYS/SymbolicLivenessAnalysis COMSYS/SymbolicLivenessAnalysis

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    C++
  • License
    Other
  • Created almost 7 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
COMSYS/SymbolicLivenessAnalysis
github

COMSYS

Reviews

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

Repository Details

Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)

More Repositories

1

FootPath

Infrastructureless indoor navigation for smart phones
Java
89
star
2

msf-opcua

Metasploit Modules for OPC UA
Python
29
star
3

pie-for-tofino

Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.
P4
14
star
4

ML-IIDS-generalizability

Evaluation artifacts to investigate the generalizability of ML-based IIDSs
Python
7
star
5

coinparty

CoinParty - Proof-of-concept implementation of our distributed, secure Bitcoin mixing protocol
JavaScript
7
star
6

quic-grabber

Python
5
star
7

anonboot

Proof-of-concept implementation of AnonBoot, our medium to securely bootstrap anonymity services
Python
5
star
8

klee-float

Floating point support for the KLEE symbolic execution engine
C++
4
star
9

MailAnalyzer

MailAnalyzer assess the prevalence of cloud computing in the email landscape based on inspecting headers of (received) emails
Python
3
star
10

smartjudge

SmartJudge, the extensible framework for smart contract-based two-party protocols
Solidity
3
star
11

bloom

BLOOM is a client-server system to securely outsource genomic matchings to an untrusted computation cloud
Python
3
star
12

http2-conext-push

Source code, results, and links to additional material used in "Is the Web Ready for HTTP/2 Server Push?"
HTML
3
star
13

tofino-spin-bit-tracker

P4
2
star
14

PowerGraph

Driver and GUI for the PowerGraph measurement platform
Python
2
star
15

quic-zgrab2

Go
1
star
16

tor4iot-tor

C
1
star
17

coinprune-scripts

Sample scripts for working with our CoinPrune snapshots
Python
1
star
18

coordinate-transformation

P4
1
star
19

CloudAnalyzer

CloudAnalyzer allows users to locally measure their individual cloud usage on their Android device
Java
1
star
20

tor4iot-contiki

C
1
star
21

docker-secret-analysis

Code to "Secrets Revealed in Container Images: An Internet-wide. Study on Occurrence and Impact"
Jupyter Notebook
1
star
22

HTTP-3-Prioritization

Python
1
star
23

h2o

Adapted Version of the h2o Webserver
C
1
star