Comments (3)
It's better to support newer Core/Base versions in my opinion, since they will benefit from all the OCaml 5.x multicore and effects work in the future, which would fit BAP quite well for variety of reasons. See also #1561
from bap.
Do you mean by a hard stop that we shouldn't support versions below v0.15
or above?
from bap.
By that I mean that one option would be to not support anything above v0.15.
from bap.
Related Issues (20)
- Version 2.4 is missing at docker hub HOT 3
- [ERROR] The compilation of conf-binutils.0.2 failed at "ocaml find-binutils.ml". HOT 2
- Failed BAP installation HOT 3
- Missing llvm Problem HOT 4
- Can bap analyze text assembly file? HOT 2
- llvm:symbol-entry errors on llvm 11.0 with x86-64 binaries compiled on windows HOT 1
- OCaml 5.0 support / Dune HOT 2
- relax the z3 constraint
- Runtime Failure with Spectre Recipe HOT 1
- Bugs found in BAP float operations HOT 1
- Bugs found on recipes
- undefined symbol: Z3_mk_lambda
- bap-common package not found from opam
- String Theory (SMT-like) support HOT 1
- Dependency problem
- failed to load plugin "primus-symbolic-executor"
- Compatibility for /lib64 suffix HOT 1
- Fedora 38 x86_64: `'opam install -vv bap' failed.` HOT 2
- ghidra_disasm.cpp:10:10: fatal error: ghidra/loadimage.hh: No such file or directory HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from bap.