rshariffdeen
Software engineering researcher, Docker evangelist Automated program repair enthusiast & Cyber security advocate
National University of SingaporeSingapore
Pinned Repositories
cerberus
Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
orangehrm
OrangeHRM is a comprehensive Human Resource Management (HRM) System that captures all the essential functionalities required for any enterprise.
clang-tools
Tools to analyze and modify C/C++ source code
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.
e9patch
A powerful static binary rewriting tool
f1x
Efficient patch generation engine for C/C++ programs
FixMorph
FixMorph is a morphing tool for C source codes which supports automated code-transfer
klee
KLEE Symbolic Execution Engine
PatchWeave
Automated Patch transplantation tool for C programs
zesti
Docker Image for Klee-Zesti ( http://srg.doc.ic.ac.uk/projects/zesti/ )
rshariffdeen's Repositories
rshariffdeen/FixMorph
FixMorph is a morphing tool for C source codes which supports automated code-transfer
rshariffdeen/clang-tools
Tools to analyze and modify C/C++ source code
rshariffdeen/klee
KLEE Symbolic Execution Engine
rshariffdeen/arja
Multi-Objective GP for Automated Repair of Java
rshariffdeen/bugscpp
A database of real-world C/C++ defaults to experiment in software engineering research
rshariffdeen/BugsInPy
BugsInPy: Benchmarking Bugs in Python Projects
rshariffdeen/bugswarm
rshariffdeen/cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
rshariffdeen/CIDFuzz
rshariffdeen/codellama
Inference code for CodeLlama models
rshariffdeen/Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
rshariffdeen/Demo
rshariffdeen/discord.py
rshariffdeen/footpatch
rshariffdeen/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
rshariffdeen/grok-1
Grok open release
rshariffdeen/infer
A static analyzer for Java, C, C++, and Objective-C
rshariffdeen/java-issue-example
rshariffdeen/jfreechart
A 2D chart library for Java applications (JavaFX, Swing or server-side).
rshariffdeen/llm-vul
rshariffdeen/nopol
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
rshariffdeen/openssl
TLS/SSL and crypto library
rshariffdeen/PreciseBugs
rshariffdeen/repairllama
Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/abs/2312.15698
rshariffdeen/ruby-advisory-db
A database of vulnerable Ruby Gems
rshariffdeen/run_bug_run
The RunBugRun dataset of executable bugs
rshariffdeen/SAVER
rshariffdeen/SecBench.js
rshariffdeen/SelfAPR
repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926
rshariffdeen/SieveFuzz
Optimizing Directed Fuzzing via Target-tailored Program State Restriction