oo7

oo7 copied to clipboard

Failed to load plugin "ddtbd": Failed to load taint: error loading shared library: /tmp/taint30a718.cmxs: undefined symbol: camlCore_kernel__Core_set Bap_main.Error.Broken_plugins(_)

dnffabs

Hello! For a project I was trying to use the oo7 tool to check for spectre vulnerabilities in the [Blake2b](https://github.com/BLAKE2/BLAKE2) library. I used the reference code bellow in C to...

Analucar

Failing compile BAP

7

Hi, i want to implement this code in my system but i face the problem during compiling the bap. ``` #=== ERROR while compiling bap-llvm.2.0.0 =====================================# # context 2.1.0 |...

taehyun9203

ddtbd.plugin

1

when I run "bapbuild ddtbd.plugin",the error hapened. error: no such file or directory. then i file the ddtbd.plugin, it shows that broken symbolic link. so what can I solve the...

world0123

Port to the BAP 2.0 interface

1

See the release notes for the changes: - https://github.com/BinaryAnalysisPlatform/bap/releases/tag/v2.0.0 - http://binaryanalysisplatform.github.io/bap-2-release

XVilka

Urgent: Error in executing toy example using check recipe

2


humdahkhan

Questions about the results in incidents_profile.txt

1

Hi, This is a very interesting work! I tried some simple binaries with it and have some questions about interpreting the results. I was wondering what do s2, s3, and...

enlighten5