softopians Goto Github PK

ace

Ace (Ajax.org Cloud9 Editor)

ace-diff

A diff/merging wrapper for Ace Editor built on google-diff-match-patch

argus-saf

Argus static analysis framework

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

b2r2

B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.

bap

Binary Analysis Platform

checkout

Action for checking out a repo

clang-cfi-showcase

Sample programs that illustrate how to use control flow integrity with the clang compiler

diff-match-patch

Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.

fileinfolist

find-sec-bugs

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

functory

Distributed programming library in OCaml (personal fork)

ghidra

Ghidra is a software reverse engineering (SRE) framework

github-script

Write workflows scripting the GitHub API in JavaScript

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

hello-world-action-ocaml

Example use of GitHub Actions with OCaml

how2heap

A repository for learning various heap exploitation techniques.

libs

Libraries for PSP2

mycpi

Implement CPI paper for my environment (x86-64, Ubuntu 14.04, LLVM 3.9)

ocaml-ci

A CI for OCaml projects

orchestra

Helper repository to easily build all the rev.ng components

revng

revng: the core repository of the rev.ng project (mirror)

ripe

Buffer overflow testbed, research paper published at ACSAC 2011

setup-ocaml

GitHub Action for the OCaml programming language

swift-ast

A Swift AST parser and visitor that is written in Swift.

tests

webdiff

Two-column web-based git difftool