alipourm Goto Github PK

adversarial-robustness-toolbox

Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams

afl

american fuzzy lop - a security-oriented fuzzer

aflfast

AFLFast (extends AFL with Power Schedules)

aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

alexa-smapi-tester

Allows (partly) automated testing of Alexa skills using Alexa SMAPI

anonymizer

appreviewanalysis

Files and Programs for Analysis of App Data Reviews

appstorecrawlers

ase17

"Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis", In ASE 2017

bc-fuzzing-report

bibtex2web

Format BibTeX bibliographies for the World Wide Web

bytecode-examples

Java Bytecode Engineering Examples & Tutorials

byteman

Byteman Project main repo

cassandra-dtest

Cassandra Distributed Tests

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

cbmc

C Bounded Model Checker

cbmcmutate

mutation testing meets model checking

cmutate

C mutation tool. A fork of Jamie Andrew's code

code-workout

CodeWorkout: a programming practice and self-study web site

code2inv

Code2Inv: Learning Loop Invariants for Program Verification

code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

code2vec

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

coding-steps

An AI-assisted web-based learning platform for Python programming, featuring interactive tasks, real-time feedback, and AI-generated code assistance for novice learners

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

cpachecker

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

csrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

dbdc3

deckard

Code clone detection; clone-related bug detection; sematic clone analysis

deepthought

Telegram Client written in Java to support multiple custom implementations

deepxplore

DeepXplore code release