Alternatives and similar repositories for jest:

Users that are interested in jest are comparing it to the libraries listed below

• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Updated 2 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• hongseok-yang / graduatePL23
  ☆19Updated last year
• kaist-plrg / jstar
  JSTAR: JavaScript Specification Type Analyzer using Refinement
  ☆14Updated 2 years ago
• prosyslab / pl-wiki
  ☆45Updated 2 months ago
• prosyslab-classroom / cs524-program-analysis
  ☆56Updated last week
• prosyslab / sigpl23-tutorial
  ☆9Updated last year
• prosyslab / tracer
  Signature-based Static Analysis for Detecting Recurring Vulnerabilities
  ☆46Updated 3 months ago
• prosyslab-classroom / is661-advanced-software-security
  ☆11Updated 7 months ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆62Updated last year
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆43Updated 10 months ago
• disjukr / makise
  pretty JSON schema definition language
  ☆24Updated 8 years ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆26Updated 2 months ago
• tree-sitter / tree-sitter-ql
  tree-sitter grammar for the CodeQL language
  ☆23Updated 2 months ago
• prosyslab-classroom / is593-language-based-security
  ☆28Updated last year
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 8 months ago
• prosyslab-classroom / cs424-program-reasoning
  ☆46Updated last month
• littledivy / sh-deno
  Security hardened Deno for macOS
  ☆10Updated 2 months ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated last year
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• Samsung / UTopia
  UT based automated fuzz driver generation
  ☆164Updated 2 weeks ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated 11 months ago
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆11Updated last year
• simnalamburt / realnocode
  
  ☆11Updated 11 months ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆46Updated last month
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆25Updated 4 years ago
• SoftSec-KAIST / Fuzzing-Survey
  The Art, Science, and Engineering of Fuzzing: A Survey
  ☆216Updated 3 weeks ago
• B2R2-org / FunProbe
  FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)
  ☆14Updated last year
• portone-io / birecord
  Bi-directional record in type-safe way
  ☆13Updated 3 months ago
• kupl / ParaDySE
  ☆33Updated 6 years ago