binaryanalysisplatform / bap-plugins Goto Github PK
View Code? Open in Web Editor NEWBAP Plugins Repository
License: MIT License
BAP Plugins Repository
License: MIT License
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!
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!
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?
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.
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.
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.
To support API changes in both to be aligned with the issue/PR in BAP itself: BinaryAnalysisPlatform/bap#820
Getting compilation errors for soluku:
make File "state.ml", line 53, characters 31-38: Error: Unbound value Map.set
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.