👻
Software Analysis Researcher / Data Engineer
-
LABRADOR LABS Inc.
- Seoul, South Korea
-
18:45
(UTC +09:00) - jiseongg.dev
- https://orcid.org/0000-0002-3587-5005
- @jiseongg
- in/jiseongg
Highlights
- Pro
Pinned Loading
-
-
kupl-sstf/dd-klee
kupl-sstf/dd-klee PublicData-driven symbolic execution engine, implemented on top of KLEE
C++ 2
-
infer
infer PublicForked from facebook/infer
A static analyzer for Java, C, C++, and Objective-C
OCaml
-
-
go-tree-sitter
go-tree-sitter PublicForked from tree-sitter/go-tree-sitter
Go bindings for tree-sitter
C
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.