Comments (10)
Disregard my previous comment.
You have the sha
package installed via OPAM. But your OCamlFind isn't listing it. This is likely because you have OPAM installed, but your OCaml installation isn't talking to OPAM.
Do you have OCaml installed via OPAM? If so, can you try an opam switch
to setup the environment variables to point to the installed OPAM packages?
My ocamlfind list
shows I have sha
installed. I believe once you fix this you should be good to go.
On Dec 20, 2015 10:31 AM, "Jia Chen" [email protected] wrote:
I follow the readmemd but when i make i find those error:
ocamlbuild -cflag -dsource -use-ocamlfind mainnative
- ocamlfind ocamldep -package
sha,str,unix,ppx_derivingstd,ppx_deriving_yojson -modules src/mainml >
src/mainmldepends ocamlfind: Package `sha' not found Command exited with
code 2 Compilation unsuccessful after building 1 target (0 cached) in
00:00:00 make: *** [mainnative] error 10 --- $ opam list # Installed
packages for system: base-bigarray base Bigarray library distributed with
the OCaml compiler base-threads base Threads library distributed with the
OCaml compiler base-unix base Unix library distributed with the OCaml
compiler ocamlfind 156 A library manager for OCaml sha 19 Binding to the
SHA cryptographic functions$ ocamlfind list
bigarray (version: [distributed with Ocaml])
camlp4 (version: [distributed with Ocaml])
camlp4exceptiontracer (version: [distributed with Ocaml])
camlp4extend (version: [distributed with Ocaml])
camlp4foldgenerator (version: [distributed with Ocaml])
camlp4fulllib (version: [distributed with Ocaml])
camlp4gramlib (version: [distributed with Ocaml])
camlp4lib (version: [distributed with Ocaml])
camlp4listcomprehension (version: [distributed with Ocaml])
camlp4locationstripper (version: [distributed with Ocaml])
camlp4macro (version: [distributed with Ocaml])
camlp4mapgenerator (version: [distributed with Ocaml])
camlp4metagenerator (version: [distributed with Ocaml])
camlp4profiler (version: [distributed with Ocaml])
camlp4quotations (version: [distributed with Ocaml])
camlp4quotationso (version: [distributed with Ocaml])
camlp4quotationsr (version: [distributed with Ocaml])
camlp4tracer (version: [distributed with Ocaml])
compiler-libs (version: [distributed with Ocaml])
compiler-libsbytecomp (version: [distributed with Ocaml])
compiler-libscommon (version: [distributed with Ocaml])
compiler-libsoptcomp (version: [distributed with Ocaml])
compiler-libstoplevel (version: [distributed with Ocaml])
dynlink (version: [distributed with Ocaml])
findlib (version: 14)
graphics (version: [distributed with Ocaml])
labltk (version: [distributed with Ocaml])
num (version: [distributed with Ocaml])
num-top (version: 14)
numcore (version: [internal])
oasis (version: 030)
oasisbase (version: 030)
oasisbuiltin-plugins (version: 030)
oasiscli (version: 030)
oasisdynrun (version: 030)
ocamlbuild (version: [distributed with Ocaml])
odn (version: 0011)
odnwith (version: n/a)
odnwithsyntax (version: 0011)
odnwithout (version: n/a)
odnwithoutsyntax (version: 0011)
pcre (version: 704)
plugin-loader (version: 030)
stdlib (version: [distributed with Ocaml])
str (version: [distributed with Ocaml])
threads (version: [distributed with Ocaml])
threadsposix (version: [internal])
threadsvm (version: [internal])
type_conv (version: 1092800)
unix (version: [distributed with Ocaml])
userconf (version: 030)—
Reply to this email directly or view it on GitHub
#21.
from redexer.
@kmicinski i fix it by reinstall ocaml though LUNCHPAD ppa and fix it.
Now this project also need:
opam install ppx_deriving
opam install ppx_deriving_yojson
by the way,when i use the '$ ruby scripts/cmd.rb target.apk --cmd directed',it always say '/home/fashioncj/redex/redexer/scripts/apk.rb:120:in directed': wrong number of arguments (1 for 0) (ArgumentError) from scripts/cmd.rb:261:in
', i use the apktool in tools files which version is 2.0.0
from redexer.
Thanks for following up.
I added documentation to the Redexer README to note that it now requires ppx_deriving and the deriving yojson extension.
The directed
command is a bug. I'm not sure what the status of the directed execution framework is, since I didn't write that tool, but I'll assign myself to fix the scripts so you can at least try to use it.
from redexer.
i run ruby version is 1.9.3, is the ruby version error?
from redexer.
No, it was just a naive bug in the scripts that I messed up at one point when I added some extra functionality.
Commit 027f93d fixes this issue.
from redexer.
@kmicinski I merge the code, and success run it. Thanks
from redexer.
@kmicinski i find the output is different from the paper of brahmastra. is 'directed' complate the static part of the brahmastra?
from redexer.
That question I cannot answer, as I was not an author of that paper, nor did I write the code. @jsjeon was, however.
from redexer.
@fashioncj Could you open a new, separate issue for that, along with more detailed explanations?
from redexer.
@jsjeon Ok.
from redexer.
Related Issues (20)
- redexer against facebook.apk HOT 1
- Redexer crashes during logging HOT 4
- Logging instrumentation inserts `onCreate` etc.. even if methods are final in superclass HOT 1
- Check fine grained regex based logging for method entries along with calls
- Redexer doesn't instruments runnable functions.
- `opr_expander` pass generates ill typed code for `if-ne` instruction HOT 5
- Implement proper dataflow analysis for reaching definitions using a powerset lattice for register
- Try / catch blocks are dropped when logging
- the discuss of 'directed exploration' HOT 8
- zipalign is removed in new sdk tools HOT 1
- `trans_adder` pass mangles method links HOT 7
- Multi-dex support HOT 1
- Logger fails to account for static methods, assumes all will have at least one param
- Redexer infinite-loops on some APKs
- basic apk logging issue HOT 4
- Dex API too leaky: tries length vs tries
- [master branch] redexer throws Exception: DynArray.Invalid_arg HOT 1
- compilation issue
- Extract the disassemly and DEX parsers into separate opam packages HOT 8
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 redexer.