implements the superset disassembler#1630

Open

KennethAdamMiller wants to merge 31 commits intoBinaryAnalysisPlatform:masterfrom

KennethAdamMiller:superset_disasm

Commits on May 16, 2025

Snapshot of bap_superset_disasm building with dune
KennethAdamMiller
committed
Update dune file to not reference plot_superset_cache
KennethAdamMiller
committed
Update with plugins/superset_disasm/dune
KennethAdamMiller
committed
Update plugins/superset_disasm/dune with site stanza
KennethAdamMiller
committed
Update modules to import the correct dependencies
KennethAdamMiller
committed
Link bap-superset-disasm library to superset-disasm plugin
KennethAdamMiller
committed
Add mli files for Abstract_ssa and Decision_trees, also add interface of bap_superset_disasm.ml
KennethAdamMiller
committed
Move cmdoptions from lib to plugin
KennethAdamMiller
committed
Correct up plugins/superset_disasm/dune, add metadata and plot_superset_cache
KennethAdamMiller
committed
Update lib/bap_superset_disasm/dune to correct public_name
KennethAdamMiller
committed
Fix ppx related issues by adding (preprocess (pps ppx_bap))
KennethAdamMiller
committed
Revert Sys to Stdlib.Sys to avoid compile errors
KennethAdamMiller
committed
Snapshot at fully buildinggit status
KennethAdamMiller
committed
Remove old scripts
KennethAdamMiller
committed
Remove metadata module and implement supersetd-graph-metrics command
KennethAdamMiller
committed
Cmdoptions is stuck with dune insisting it requires a stanza for no impl
KennethAdamMiller
committed
Ensure that superset disasm and graph metrics commands work harmoniously
KennethAdamMiller
committed
Change command names for consistency
KennethAdamMiller
committed
add new script for testing superset disasm using parallel
KennethAdamMiller
committed
Add new integration test and script for parallel processing binaries
KennethAdamMiller
committed
Add new find fn culprit flag
KennethAdamMiller
committed
Add new print-fn-binaries flag to supersetd-graph-metrics command
KennethAdamMiller
committed
Fix TrimLimitedClamped
KennethAdamMiller
committed
Disable troublesome invariants
KennethAdamMiller
committed
Enable TrimLimitedClamped in disasm_corpora.sh
KennethAdamMiller
committed
Correct bap superset disasm test library name
KennethAdamMiller
committed
Trim heuristics severely, drop liveness, features, abstract_ssa
KennethAdamMiller
committed
Remove Fixpoint, Decision_trees, Grammar. Add documentation to heuristics' interpretation depth
KennethAdamMiller
committed
Restore grammar and fixpoint, used in plugin
KennethAdamMiller
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

implements the superset disassembler#1630

implements the superset disassembler#1630
KennethAdamMiller wants to merge 31 commits intoBinaryAnalysisPlatform:masterfrom
KennethAdamMiller:superset_disasm

Commits on May 16, 2025

Snapshot of bap_superset_disasm building with dune

Update dune file to not reference plot_superset_cache

Update with plugins/superset_disasm/dune

Update plugins/superset_disasm/dune with site stanza

Update modules to import the correct dependencies

Link bap-superset-disasm library to superset-disasm plugin

Add mli files for Abstract_ssa and Decision_trees, also add interface of bap_superset_disasm.ml

Move cmdoptions from lib to plugin

Correct up plugins/superset_disasm/dune, add metadata and plot_superset_cache

Update lib/bap_superset_disasm/dune to correct public_name

Fix ppx related issues by adding (preprocess (pps ppx_bap))

Revert Sys to Stdlib.Sys to avoid compile errors

Snapshot at fully buildinggit status

Remove old scripts

Remove metadata module and implement supersetd-graph-metrics command

Cmdoptions is stuck with dune insisting it requires a stanza for no impl

Ensure that superset disasm and graph metrics commands work harmoniously

Change command names for consistency

add new script for testing superset disasm using parallel

Add new integration test and script for parallel processing binaries

Add new find fn culprit flag

Add new print-fn-binaries flag to supersetd-graph-metrics command

Fix TrimLimitedClamped

Disable troublesome invariants

Enable TrimLimitedClamped in disasm_corpora.sh

Correct bap superset disasm test library name

Trim heuristics severely, drop liveness, features, abstract_ssa

Remove Fixpoint, Decision_trees, Grammar. Add documentation to heuristics' interpretation depth

Restore grammar and fixpoint, used in plugin

Commits on May 17, 2025

Make sure analyses arguments can be supplied

Update analyses and heuristics args in disasm_corpora.sh

implements the superset disassembler#1630KennethAdamMiller wants to merge 31 commits intoBinaryAnalysisPlatform:masterBinaryAnalysisPlatform/bap:masterfrom KennethAdamMiller:superset_disasmKennethAdamMiller/bap:superset_disasmCopy head branch name to clipboard

Commits

Commits on May 16, 2025

Commits on May 17, 2025

implements the superset disassembler#1630
KennethAdamMiller wants to merge 31 commits intoBinaryAnalysisPlatform:masterfrom
KennethAdamMiller:superset_disasm