👻
Software Analysis Researcher / Data Engineer
-
LABRADOR LABS Inc.
- Seoul, South Korea
-
17:54
(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
-
spoon
spoon PublicForked from INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis …
Java
-
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.