toolchainz / jingle Goto Github PK
View Code? Open in Web Editor NEWSMT Modeling for Ghidra's PCODE
License: MIT License
SMT Modeling for Ghidra's PCODE
License: MIT License
Right now we have ModeledBlock
(a modeled basic block) and ModeledInstruction
(a single instruction) as two similar, but distinct types. ModeledBlock
has the extra constraint that it will only be constructed if the block terminates in non-fallthrough branches.
This isn't ideal for a few situations:
Should consider removing this separation and just calling it what it is: a trace of pcode operations. A single trace structure could represent an instruction or our poor-man's basic block. Could also implement Add
and friends on it to allow easily manipulating traces.
We should definitely have something for basic blocks eventually, but that will require a more thorough treatment of the program graph. And maybe we can just piggy-back on some of the higher analysis that sleigh performs.
Hi! Do you think it would be beneficial to move jingle_sleigh into a separate crate? This way, people who only need the pcode bindings would not have to add unused libraries to their projects
Hi! Thank you for the nice bindings. Would it be possible to add a static-link-z3 feature to z3-sys, so that users don't need to manually install z3-dev on their systems to access z3.h?
This is currently blocked.
In Ghidra 11.1, sleigh
was updated to support compressed architecture modules. This feature brings along a mandatory dependency on zlib
.
So, to update, need to either:
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.