yaxpeax-core
| Crates.io | yaxpeax-core |
| lib.rs | yaxpeax-core |
| version | 0.0.4-vw-tweaks |
| source | src |
| created_at | 2021-06-25 07:07:27.957846 |
| updated_at | 2021-10-26 22:17:53.374946 |
| description | program analysis for machine code |
| homepage | |
| repository | https://github.com/iximeow/yaxpeax-core/tree/vw-tweaks-ii |
| max_upload_size | |
| id | 414703 |
| size | 1,270,775 |
iximeow (iximeow)
documentation
README
this branch includes tweaks by the UCSD team behind VeriWasm and others. ideally, yaxpeax-core would simply provide the interfaces necessary, but they found that in particular CFG inspection and switch table data weren't sufficiently exposed.
the intent of this branch is for feature-parity to be built into mainline yaxpeax-core, but this may not happen in a seamless manner. there are and will be more API differences between this branch and no-gods-no-. i would strongly disadvise depending on this branch or tweaks here unless you want breaking changes in the future! when the mainline crate has feature parity with this branch, i plan to delete vw-tweaks.