lynchorange Goto Github PK

brax

Massively parallel rigidbody physics simulation on accelerator hardware.

codegen

Reference implementation of code generation projects from Facebook AI Research. General toolkit to apply machine learning to code, from dataset creation to model training and evaluation. Comes with pretrained models.

cpg

A library to extract Code Property Graphs from C/C++, Java, Golang and Python.

funded_nisl

FUNDED is a novel learning framework for building vulnerability detection models.

grammars-v4

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

halurust

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust

io_test

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

jpf-symbc

Symbolic PathFinder

xlnet

XLNet: Generalized Autoregressive Pretraining for Language Understanding