|
JavaScript |
3 |
Static code analysis suite for webapps |
Aug 22, 2015 |
|
C# |
101 |
Generic static analysis framework. |
Aug 14, 2022 |
|
Ruby |
18 |
A static analysis framework. |
Jan 28, 2023 |
|
C# |
3 |
binary static analysis/disassembler tool and framework |
Jul 03, 2021 |
|
Go |
100 |
Fast Static File Analysis Framework |
Apr 01, 2023 |
|
OCaml |
90 |
Static analysis framework for C |
Aug 14, 2022 |
|
OCaml |
2 |
The goblint static analysis framework |
Jul 07, 2021 |
|
OCaml |
2 |
Static analysis framework for C |
Aug 01, 2022 |
|
OCaml |
2 |
Static analysis framework for C |
May 04, 2023 |
|
Ruby |
13 |
A static analysis framework for NASL. |
Jan 21, 2022 |
|
C++ |
688 |
A LLVM-based static analysis framework. |
Aug 14, 2022 |
|
C++ |
2 |
A LLVM-based static analysis framework. |
Apr 01, 2022 |
|
Python |
202 |
Scalpel: The Python Static Analysis Framework |
May 20, 2023 |
|
Scheme |
13 |
Static Analysis Framework for Modular Analyses |
Apr 03, 2023 |
|
Python |
31 |
Framework for static and dynamic analysis in Android APKs |
Apr 17, 2022 |
|
Java |
6 |
Framework for doing static analysis in Java |
Aug 24, 2019 |
|
Java |
120 |
A framework for writing static analysis tests. |
Apr 17, 2021 |
|
C++ |
344 |
Neuroimaging analysis and visualization suite |
Aug 18, 2022 |
|
Elixir |
1297 |
Security-focused static analysis for the Phoenix Framework |
Aug 23, 2022 |
|
C++ |
1048 |
Static Value-Flow Analysis Framework for Source Code |
Apr 25, 2023 |
|
Python |
4 |
An easy to extend static code analysis framework. |
Jan 28, 2023 |
|
Go |
4 |
Static Code Analysis Testing Framework which just works! |
Jan 25, 2023 |
|
Python |
7 |
cinspector - a static C source code analysis framework |
May 06, 2023 |
|
Shell |
2 |
Ansible role to setup Vivisect, static analysis / emulation / symbolik analysis framework |
Jan 10, 2023 |
|
Haskell |
2 |
Educational implementation of monotone framework analysis (static analysis of computer programs) |
Nov 05, 2017 |
|
JavaScript |
469 |
Android Security Suite for in-depth reconnaissance and static bytecode analysis based on Ghera benchmarks. |
Aug 09, 2022 |
|
Python |
67 |
Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static … |
Nov 07, 2022 |
|
Racket |
4 |
Symbolic Virtual Machine for Automated R1CS Verification |
May 26, 2022 |
|
Racket |
4 |
A collection of recipes for 'RSound: A Sound Engine for Racket' library |
Feb 01, 2022 |
|
Racket |
4 |
Racket code analysis |
Dec 09, 2021 |
|
Racket |
4 |
Infix expression for Racket |
May 19, 2022 |
|
Racket |
4 |
Experiments with require |
May 20, 2017 |
|
Racket |
4 |
A Racket implementation of the Troll dice-rolling language |
Jan 05, 2022 |
|
Racket |
4 |
URI Template (RFC 6570) for Racket |
Mar 21, 2019 |
|
Racket |
4 |
2020年春季学期 北京大学 函数式程序设计(郭炜老师主讲)习题代码整理 |
Jun 12, 2022 |
|
Racket |
4 |
Invoke `raco test` with `errortrace` on |
Jul 21, 2022 |
|
Racket |
4 |
SICP exercises in Haskell or Racket |
Sep 05, 2021 |
|
Racket |
4 |
Efficient enumeration of polymorphic λ-terms from System Fω. |
Nov 16, 2021 |
|
Racket |
4 |
This library provides a table-panel% class that specializes the panel% class to provide a panel … |
Oct 30, 2021 |
|
Racket |
4 |
Some university work and other stuff |
Apr 07, 2022 |
|
Racket |
4 |
A Racket library to make it easy to colorize terminal output |
Feb 10, 2022 |
|
Racket |
4 |
racket binding to tree-sitter |
Mar 29, 2022 |
|
Racket |
4 |
How to use R7RS Scheme libraries in a Racket program |
Dec 22, 2021 |
|
Racket |
4 |
Interval arithmetic for real computation |
Aug 09, 2022 |
|
Racket |
4 |
Run raco run! Easier running Racket submodules on the command line. |
Oct 26, 2020 |
|
Racket |
4 |
None |
Jul 08, 2022 |
|
Racket |
4 |
THIS REPOSITORY IS OBSELETE |
Aug 08, 2019 |
|
Racket |
4 |
None |
Oct 09, 2021 |
|
Racket |
4 |
None |
Oct 09, 2021 |
|
Racket |
4 |
None |
Jun 13, 2022 |