Open Hub
Open Hub
 

Managed Projects

Grail+, FLTL

  Analyzed about 1 month ago

A set of command-line tools for manipulating formal languages, built on top of an expressive framework for representing formal language objects.

17.7K lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: mit

Granary

  Analyzed about 1 month ago

Dynamic binary translation framework for Linux kernel modules and some user space programs.

62.3K lines of code

0 current contributors

over 7 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: BSD-3-Clause

XY Programming Language

  Analyzed about 1 month ago

XY is a statically typed, compiled, JavaScript-like programming language.

9.43K lines of code

0 current contributors

over 11 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: mit

remill

  Analyzed about 1 month ago

Machine code to LLVM binary translator

168K lines of code

11 current contributors

9 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: apache_2

mcsema

  Analyzed about 1 month ago

x86 to LLVM bitcode translation framework

24.9K lines of code

10 current contributors

almost 3 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: apache_2

grr-fuzzer

  Analyzed about 1 month ago

High-throughput fuzzer and emulator of DECREE binaries

14.9K lines of code

1 current contributors

over 5 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: apache_2