This is stars and forks stats for /phulin/symbolic-trace repository. As of 12 May, 2024 this repository has 14 stars and 3 forks.
RESET Reverse Engineering through Symbolic Execution of Traces: Symbolic execution of LLVM IR traces for program understanding. To evaluate a trace, first run: cabal configure cabal build --ghc-options="-rtsopts" Then, to run a program, grab a trace dist/build/Eval/Eval -q <qemu_build_dir> <program> <program-args> The qemu_build_dir should be the build directory, such as ~/qemu/x86_64-linux-user. For a trace in whole-system mode, you need to gather the trace manually. First, make...
RESET Reverse Engineering through Symbolic Execution of Traces: Symbolic execution of LLVM IR traces for program understanding. To evaluate a trace, first run: cabal configure cabal build --ghc-options="-rtsopts" Then, to run a program, grab a trace dist/build/Eval/Eval -q <qemu_build_dir> <program> <program-args> The qemu_build_dir should be the build directory, such as ~/qemu/x86_64-linux-user. For a trace in whole-system mode, you need to gather the trace manually. First, make...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
weniv/FrontendSchool_5 | JavaScriptHTMLCSS | 35 | 0 | 17 | 0 |
SPTHvx/SPTH | MATLABPythonRuby | 128 | +1 | 15 | 0 |
neroist/uing | NimC | 98 | 0 | 3 | 0 |
gwk/libqk | Objective-C++Objective-CC | 1 | 0 | 1 | 0 |
selwynpolit/d9book | PHPTwigCSS | 82 | 0 | 51 | 0 |
kierangilliam/chatwithme.chat | SvelteTypeScriptCSS | 95 | 0 | 15 | 0 |
ddiu8081/chatgpt-demo | TypeScriptAstroCSS | 7.6k | 0 | 3.8k | 0 |
JimmyLv/BiliGPT | TypeScriptCSSJavaScript | 4.3k | 0 | 558 | 0 |
mckaywrigley/paul-graham-gpt | TypeScriptPLpgSQLJavaScript | 2.5k | 0 | 381 | 0 |
Nutlope/roomGPT | TypeScriptCSSJavaScript | 8.6k | 0 | 1k | 0 |