binaryanalysisplatform / bap-plugins Goto Github PK
View Code? Open in Web Editor NEWBAP Plugins Repository
License: MIT License
bap-plugins's People
Contributors
Stargazers
Watchers
Forkers
dbrumley rvantonder maverickwoo chubbymaggie amesianx gitoleg ivg jaybosamiya tiandiyixian p0prxx hxlszxy zfeixq zzhichen mandacaibap-plugins's Issues
bapbuild failing?
Hi!
I was able to use bapbuild and bap on the hello_world example, but when I attempted it on a sample plugin, I'm not able to get past the bapbuild stage?
I have here the checkpath.ml file from your bap-plugins saved and try to run it with 'bapbuild checkpath.plugin' on the command line.
So many errors fill the screen that the original command can't be seen when I scroll up. Most have to do with files having a .cma/.cmx/.cmxa/.cmi suffix? It's curious the hello_world example would work but not this. Would appreciate any insight into what may be causing this. Thanks!
Saluki: `μflux` API?
Hey,
We are interested in the μflux analysis built into the Saluki plugin. We'd like to use the data-flow facts generated in our own tool. Is there an API somewhere? Is this part of the Saluki plugin or BAP proper?
A pointer to the appropriate .mli file would be much appreciated.
Thanks!
Building minos
I'm having some trouble building minos. I'm not sure what to make of the following error below:
/bap-plugins/minos$ make
bapbuild minos.plugin -pkg bin_prot.syntax -pkg FrontC -I checks
+ ocamlfind ocamlc -c -g -annot -bin-annot -short-paths -thread -syntax camlp4o -package FrontC -package bin_prot.syntax -package re.posix -package fileutils -package cmdliner -package ezjsonm -package ocamlgraph -package variantslib.syntax -package fieldslib.syntax -package comparelib.syntax -package sexplib.syntax -package core_kernel -package bap.plugins -package bap -I checks -o args.cmo args.ml
File "args.ml", line 45, characters 4-12:
Error: This pattern matches values of type [? `armv4eb ]
but a pattern was expected which matches values of type arch
The second variant type does not allow tag(s) `armv4eb
Command exited with code 2.
Hint: Recursive traversal of subdirectories was not enabled for this build,
as the working directory does not look like an ocamlbuild project (no
'_tags' or 'myocamlbuild.ml' file). If you have modules in subdirectories,
you should add the option "-r" or create an empty '_tags' file.
To enable recursive traversal for some subdirectories only, you can use the
following '_tags' file:
true: -traverse
<dir1> or <dir2>: traverse
Compilation unsuccessful after building 26 targets (0 cached) in 00:00:11.
make: *** [all] Error 10
How can I resolve this issue and finish building?
Error building dataflow plugin
Long story short:
opam@50b5ae9535c4:~/bap-plugins/data-dependency$ bapbuild dataflow.plugin
+ ocamlfind ocamlopt -c -g -annot -bin-annot -short-paths -thread -syntax camlp4o -package re.posix -package fileutils -package cmdliner -package ezjsonm -package ocamlgraph -package variantslib.syntax -package fieldslib.syntax -package comparelib.syntax -package sexplib.syntax -package core_kernel -package bap.plugins -package bap -o dataflow.cmx dataflow.ml
File "dataflow.ml", line 129, characters 18-27:
Error: Unbound value Block.dfs
Command exited with code 2.
Hint: Recursive traversal of subdirectories was not enabled for this build,
as the working directory does not look like an ocamlbuild project (no
'_tags' or 'myocamlbuild.ml' file). If you have modules in subdirectories,
you should add the option "-r" or create an empty '_tags' file.
To enable recursive traversal for some subdirectories only, you can use the
following '_tags' file:
true: -traverse
<dir1> or <dir2>: traverse
Compilation unsuccessful after building 8 targets (7 cached) in 00:00:04.
The output of Term.attrs is not readable
Dict.to_sequence (Term.attrs arg) |> Seq.iter ~f:(fun (type_id, v)-> print_endline @@ Value.Typeid.to_string type_id ^ " -> " ^ Value.to_string v);
When i write some like the up , the type_id 's output is not readable and dont know what it is.
how shall i do if i wonder to see what it is.
run-test-system.sh not producing expected output
I am trying to get the run-test-system.sh script working in minos. However, it's not producing any output really.
I don't have IDA, so when I run the script in its original form, I get this:
minos$ ./run-test-system.sh
Failed to extract symbols from IDA: Can't find IDA in your environment
Producing cut groups...
===================================
ROOTING at NTH 1 sink callstrings.
===================================
callstring sinks:
[+] 0 cut groups
Producing trims...
Processing paths...
However, if I remove the IDA option in the script, I still just get this:
minos$ ./run-test-system.sh
Producing cut groups...
===================================
ROOTING at NTH 1 sink callstrings.
===================================
callstring sinks:
[+] 0 cut groups
Producing trims...
Processing paths...
Here are the files in the output directory:
minos$ ls -R analysis-test-system-1/
analysis-test-system-1/:
cut_groups meta.txt trim_groups
analysis-test-system-1/cut_groups:
analysis-test-system-1/trim_groups:
Here are the contents of meta.txt:
Src: LCA:1
Sink: @system
Mode: nth-from-sink
callstring sinks:
Cut groups: 0
Thank you for your time and consideration.
JaneStreet Core 0.11 and OCaml 4.06+ compatibility
To support API changes in both to be aligned with the issue/PR in BAP itself: BinaryAnalysisPlatform/bap#820
Saluki doesn't compile
Getting compilation errors for soluku:
make File "state.ml", line 53, characters 31-38: Error: Unbound value Map.set
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.