GrammaTech

GrammaTech

Geek Repo

Home Page:https://grammatech.github.io/

Github PK Tool:Github PK Tool

GrammaTech's repositories

clang-mutate

Manipulate C-family ASTs with Clang

Language:C++License:NOASSERTIONStargazers:62Issues:13Issues:3

swap-detector

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

Language:CLicense:MITStargazers:20Issues:9Issues:0

egalito

Self-hosting binary instrumentation framework for security research

License:GPL-3.0Stargazers:7Issues:0Issues:0

elf

A Common Lisp library for manipulating ELF files

Language:Common LispLicense:GPL-3.0Stargazers:7Issues:7Issues:3

gtirb-search-reduce

Reduce a binary to only retain that which is required to continue to pass a provided test suite.

Language:PythonLicense:AGPL-3.0Stargazers:6Issues:0Issues:0
Language:Common LispLicense:NOASSERTIONStargazers:5Issues:9Issues:1
Language:PythonLicense:MITStargazers:4Issues:0Issues:0

keystone

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings

Language:C++License:GPL-2.0Stargazers:3Issues:4Issues:0

LIEF

LIEF - Library to Instrument Executable Formats

Language:C++License:Apache-2.0Stargazers:3Issues:2Issues:0

soot

Soot - A Java optimization framework

Language:JavaLicense:LGPL-2.1Stargazers:3Issues:26Issues:0
Language:MakefileLicense:UnlicenseStargazers:2Issues:8Issues:0
Language:ShellLicense:MITStargazers:2Issues:7Issues:0
Language:JavaLicense:NOASSERTIONStargazers:1Issues:0Issues:0

sb-texinfo

Docstring to Texinfo tool.

Language:Common LispStargazers:1Issues:1Issues:0

WALA

T.J. Watson Libraries for Analysis

Language:JavaStargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0