cetfor / papermachete Goto Github PK
View Code? Open in Web Editor NEWA project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
License: MIT License
A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
License: MIT License
๐
Newer versions of Grakn run into problems with the queries/
scripts, e.g.
== [3] Run all CWE queries =====================================================
... <truncated> ...
Traceback (most recent call last):
... <truncated> ...
graph = grakn.Client(uri='http://localhost:4567', keyspace=keyspace)
AttributeError: module 'grakn' has no attribute 'Client'
PR incoming...
I am on Binary Ninja version 2, and also using windows, after some some mods finally i get into PaperMachete and Binaryninja processing the function but currently stuck at the following errors :
function: sub_401ae2 (asm-addr: 0x401b01)
A terminating node was encountered that was not expected: '<type 'float'>'
Traceback (most recent call last):
File "paper_machete.py", line 284, in <module>
main()
File "paper_machete.py", line 187, in main
pmanalyze.main(join(ANALYSIS, binary))
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 487, in main
analyze(bv, func_list)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 463, in analyze
process_instruction(func, block, insn)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 136, in process_instruction
ast_parse([func, block, insn])
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 329, in ast_parse
ast_name_element(args, il_type, il)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 311, in ast_name_element
ast_build_json(args, name, il)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 228, in ast_build_json
ast_build_json(args, child_name, o, level+1, edge_label)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 228, in ast_build_json
ast_build_json(args, child_name, o, level+1, edge_label)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 228, in ast_build_json
ast_build_json(args, child_name, o, level+1, edge_label)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 228, in ast_build_json
ast_build_json(args, child_name, o, level+1, edge_label)
File "C:\Users\echelon\Documents\Works\Tools\PaperMachete\pmanalyze.py", line 305, in ast_build_json
raise ValueError
ValueError
The windows binary that i am targetting is here :
ioA.zip
Also is there any chance to move completely into python 3?
With my newly constructed json file, it appears that the parser/migrator to Grakn is not functioning correctly (Loaded 0 statements on each of the 7 steps). Any suggestions?
Screenshot here
Hey, I just got around to trying PM but it appears it needs to run Binja in headless mode and I'm without that license. I'd like to play around with it though... I haven't looked into it much but here's a feature request: how hard would it be to get the JSON conversion working as a plugin?
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.