Giters
Moeketsi Raselimo (mraselimo)

mraselimo

Geek Repo

3

followers

7

following

95

stars

Company:Stellenbosch University

Location:Stellenbosch, Western Cape

Github PK Tool:Github PK Tool

Moeketsi Raselimo's starred repositories

predator

A Shape Analyzer Based on Symbolic Memory Graphs

Language:CLicense:GPL-3.0Stargazers:2Issues:0Issues:0

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Language:PythonLicense:MITStargazers:305Issues:0Issues:0

pysmt

pySMT: A library for SMT formulae manipulation and solving

Language:PythonLicense:Apache-2.0Stargazers:554Issues:0Issues:0

vulnfix

Program Vulnerability Repair via Inductive Inference

Language:PythonLicense:GPL-3.0Stargazers:18Issues:0Issues:0

Concolic_klee

A modified KLEE with concolic execution

Language:C++License:NOASSERTIONStargazers:2Issues:0Issues:0

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

Language:PythonLicense:MITStargazers:663Issues:0Issues:0

aflgo

Directed Greybox Fuzzing with AFL

Language:CLicense:Apache-2.0Stargazers:486Issues:0Issues:0

MemLock

MemLock: Memory Usage Guided Fuzzing

Language:CLicense:MITStargazers:33Issues:0Issues:0

PropR

Genetic program repair using GHC

Language:HaskellLicense:MITStargazers:28Issues:0Issues:0

WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Language:JavaLicense:EPL-2.0Stargazers:742Issues:0Issues:0

LTL-Fuzzer

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

Language:CLicense:Apache-2.0Stargazers:50Issues:0Issues:0

GrayC

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Language:C++Stargazers:47Issues:0Issues:0

swipl

SWI-Prolog stable releases

Language:CLicense:NOASSERTIONStargazers:209Issues:0Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2510Issues:0Issues:0

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language:JavaLicense:Apache-2.0Stargazers:220Issues:0Issues:0

Awesome-Grammar-Fuzzing

A curated list of Grammar based fuzzing research papers, codes, tutorials

Stargazers:107Issues:0Issues:0

CPR

CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.

Language:CLicense:MITStargazers:30Issues:0Issues:0

isla

The ISLa (Input Specification Language) language & solver.

Language:PythonLicense:GPL-3.0Stargazers:56Issues:0Issues:0

galoisenne

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

Language:KotlinLicense:Apache-2.0Stargazers:115Issues:0Issues:0

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

Language:OCamlLicense:MITStargazers:22086Issues:0Issues:0

hotcrp

HotCRP conference review software

Language:PHPLicense:NOASSERTIONStargazers:323Issues:0Issues:0

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:981Issues:0Issues:0

spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Language:JavaLicense:LGPL-2.1Stargazers:3399Issues:0Issues:0

goevmlab

Evm laboratory

Language:GoLicense:LGPL-3.0Stargazers:227Issues:0Issues:0

RULF

A fully automated Rust fuzz driver generator

Language:RustLicense:NOASSERTIONStargazers:45Issues:0Issues:0

javaparser

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Language:JavaLicense:NOASSERTIONStargazers:5323Issues:0Issues:0

randoop

Automatic test generation for Java

Language:JavaLicense:MITStargazers:521Issues:0Issues:0

smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar

Language:SMTLicense:MITStargazers:20Issues:0Issues:0

full-blockchain-solidity-course-py

Ultimate Solidity, Blockchain, and Smart Contract - Beginner to Expert Full Course | Python Edition

License:MITStargazers:10689Issues:0Issues:0

rir

Language:C++License:GPL-2.0Stargazers:62Issues:0Issues:0