|
C++ |
590 |
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing |
Apr 14, 2023 |
|
C++ |
2 |
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing |
Mar 09, 2023 |
|
Python |
3 |
Concolic execution for Django applications |
Jun 19, 2022 |
|
None |
63 |
A generic seed scheduler for fuzzers(LibFuzzer and AFL) and concolic execution engine(qsym). |
Aug 17, 2022 |
|
Rust |
3 |
A concolic interpreter backend for Fugue. |
Jul 26, 2023 |
|
Python |
2 |
Concolic Testing for Deep Neural Networks |
Jul 14, 2023 |
|
Go |
409 |
Rule Engine for Golang |
Aug 09, 2022 |
|
Go |
64 |
golang engine |
Mar 08, 2023 |
|
OCaml |
13 |
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship … |
Mar 29, 2023 |
|
Go |
8 |
Golang SDK for iWF engine |
Apr 10, 2023 |
|
Go |
38 |
Golang Flow Engine for RapidPro |
Jul 07, 2022 |
|
Go |
73 |
An inflection engine for golang |
Sep 03, 2022 |
|
Go |
100 |
Slim Template Engine for golang |
Jul 27, 2022 |
|
None |
2 |
CROWN: Concolic testing for Real-wOrld softWare aNalysis |
Mar 24, 2022 |
|
Go |
3 |
Powerful yaml template engine for golang |
Feb 07, 2023 |
|
Java |
8 |
Golang-like template engine for Java |
Mar 27, 2023 |
|
Go |
607 |
korok.io - golang game engine |
Apr 10, 2023 |
|
Go |
43 |
golang powered game engine |
Nov 13, 2022 |
|
HTML |
2 |
Golang markdown engine benchmark. |
Mar 03, 2023 |
|
Go |
2 |
Golang Simple Rule Engine |
Nov 09, 2021 |
|
C |
2 |
CREST is a concolic test generation tool for C. |
May 20, 2020 |
|
F# |
138 |
Grey-box Concolic Testing on Binary Code |
Oct 20, 2022 |
|
Go |
8 |
⛩️ Pure Golang engine for Jinja templates |
Apr 21, 2023 |
|
Go |
2 |
A scaffold for Google App Engine Golang. |
Apr 01, 2018 |
|
Racket |
2 |
Supplementary Materials for Sound and Complete Higher-Order Concolic Testing |
Dec 16, 2021 |
|
TeX |
16 |
Prototype of a fuzzer for Julia based on concolic execution |
Nov 17, 2021 |
|
Python |
30 |
Triton based R2 plugin for concolic execution and total control |
Apr 17, 2023 |
|
Go |
1311 |
Rule engine implementation in Golang |
Aug 14, 2022 |
|
Go |
2 |
Lightweight Golang local workflow engine |
Jun 18, 2019 |
|
Go |
101 |
A Golang image storage engine |
Jun 28, 2022 |
|
Shell |
25 |
[deprecated] Golang Version Management supporting for App Engine |
Nov 23, 2021 |
|
Go |
336 |
Matching Engine for Limit Order Book in Golang |
May 25, 2023 |
|
Go |
33 |
:heartbeat: [handlebars by golang] :heartbeat: handlebars template engine by golang |
Jan 28, 2022 |
|
Go |
413 |
Go Doctor - The Golang Refactoring Engine |
Dec 01, 2022 |
|
Go |
19 |
Yet Another CWL Engine by Golang |
Mar 13, 2022 |
|
Go |
14 |
a simple storage engine by golang |
Mar 23, 2021 |
|
Go |
4 |
Golang HTTP server/proxy daemon engine |
Apr 27, 2022 |
|
C |
278 |
CMU PocketSphinx for Golang, a lightweight speech recognition engine. |
Jun 19, 2022 |
|
Go |
2 |
CMU PocketSphinx for Golang, a lightweight speech recognition engine. |
Mar 03, 2022 |
|
Python |
2 |
Discovering vulnerabilities in firmware through concolic analysis and function clustering. |
Aug 05, 2022 |
|
Python |
2 |
Discovering vulnerabilities in firmware through concolic analysis and function clustering. |
Aug 06, 2022 |
|
Go |
19 |
Web crawler and Search engine in Golang. |
Jun 12, 2022 |
|
Go |
3 |
golang milvus vector search engine water-testing |
Mar 05, 2023 |
|
C++ |
7 |
A concolic testing framework for RISC-V embedded software with support for SystemC peripherals |
May 23, 2022 |
|
Go |
4 |
Easy Structured Logging for GoLang on App Engine Standard (1.11+) |
Jun 18, 2020 |
|
Go |
8 |
Grid Engine JSV (Job Submission Verifier) implementation for Go (#golang). |
Sep 01, 2020 |
|
Go |
17 |
Causal Effect Engine is a Golang package for causal inference |
Jan 29, 2023 |
|
Go |
32 |
A signaling server for hlsjs-p2p-engine, written by golang |
Feb 01, 2021 |
|
Python |
11 |
Concolic tracer to detect flag leaks and create Type-2 POVs. |
May 28, 2023 |
|
Go |
5 |
A blog engine based on gmc golang framework。 |
Jan 04, 2022 |