Ivan Gotovchits
Ivan Gotovchits
Our input/output channel variables look like they are dynamically scoped (aka parameters), e.g., `*standard-output*` but they are stored directly in the Primus Env and are lexically scoped. This should be...
It looks like we have messed a bit with the normalization forms during the BAP 2.0 release. The let-normalization is not available anymore, despite being mentioned in the documentation and...
Current State ------------- Since LLVM is not yet ready for AVR we switched to Ghidra. We still have to use LLVM as a loader (and it proves to fail on...
# Motivation Dumping project in the LLVM IR will open an opportunity to many interesting projects, e.g., JIT compilation, running LLVM analyses, creating binaries, lifter verification, etc. This can be...
The `channel-close` primitive just removes the binding but never closes so we eventually run out of available descriptors, especially, when we use the `--run-in-isolation` option where each job is creating...
Actually even worse it builds the plugin that is not usable and then fails with the `missing dependency error` (which is also quite an unclear message, e.g., which dependency). It...
When several entry points are specified we shall use `--run-in-iso`, and while it is by design it is totally user unfriendly. We shall either make it work without the isolation...
As a quick hack, we were using OCaml channels to model file objects in our runtime. It was causing immediate issues (#1049) and will cause more (as now the state...
Though BAP can analyze Windows binaries the BAP itself is not available on Windows platform. Ideally, we would like to have native Windows binaries with as few dependencies as possible,...
## Desired Behavior ``` The following should be accepted, (install (files (glob_files *.lisp)) (package bap-primus-lisp) (section (site (bap lisp)))) ``` Instead if fails with ``` dune build File "plugins/primus_lisp/site-lisp/dune", line...