cksystemsgroup/monster cksystemsgroup/monster

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Rust
  • License
    MIT License
  • Created over 4 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cksystemsgroup/monster
github

cksystemsgroup

Reviews

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

Repository Details

Monster is a symbolic execution engine for 64-bit RISC-U code

More Repositories

1

scalloc

A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
C++
156
star
2

scal

High-performance multicore-scalable data structures and benchmarks
C++
135
star
3

unicorn

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
Rust
30
star
4

scalloc-artifact

Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc
C++
8
star
5

compact-fit

Compact-Fit
C
6
star
6

ACDC

A multi-threaded mutator for profiling and benchmarking heap management systems
C
6
star
7

JAviator

JAviator Project sources
C
5
star
8

BigActors

JavaScript
3
star
9

libscm

Self-collecting mutators for the C programming language
C
2
star
10

cachecontrol

Linux kernel module to disable and enable CPU caches
C
2
star
11

htl

Hierarchical Timing Language
HTML
1
star
12

beator-visualizer

TypeScript
1
star
13

JNavigator

JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter
Java
1
star