trailofbits/manticoreui issues and pull requests

#100 - [Binja] Add TraceBlockPlugin tests

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#100 - [Binja] Add TraceBlockPlugin tests

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#99 - [Binja] Fix custom hook persistence and tests

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#99 - [Binja] Fix custom hook persistence and tests

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#98 - Add Documentation

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#97 - [Ghidra] Support manual state control (Pause/Kill)

Pull Request - State: closed - Opened by kokrui over 2 years ago - 1 comment
Labels: Ghidra

#96 - [Server] Support manual state control (Pause/Kill)

Pull Request - State: closed - Opened by kokrui over 2 years ago

#96 - [Server] Support manual state control (Pause/Kill)

Pull Request - State: closed - Opened by kokrui over 2 years ago

#95 - Fix README title markup

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#94 - [Binja] Bugfixes

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#93 - Plugin run settings fetched from common resources directory

Pull Request - State: closed - Opened by kokrui over 2 years ago - 1 comment
Labels: enhancement, Binary Ninja, Ghidra

#92 - [Binja] Loading initial state from file

Pull Request - State: closed - Opened by lordidiot over 2 years ago - 1 comment
Labels: Binary Ninja

#92 - [Binja] Loading initial state from file

Pull Request - State: closed - Opened by lordidiot over 2 years ago - 1 comment
Labels: Binary Ninja

#91 - [Binja] Multiple custom hooks can be created at same address

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: Binary Ninja

#91 - [Binja] Multiple custom hooks can be created at same address

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: Binary Ninja

#90 - Binja CI excludes binja-integration branch

Pull Request - State: closed - Opened by kokrui over 2 years ago

#90 - Binja CI excludes binja-integration branch

Pull Request - State: closed - Opened by kokrui over 2 years ago

#89 - Implement saving trace data

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#89 - Implement saving trace data

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#88 - [Server] Add explicit field presence

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: enhancement

#88 - [Server] Add explicit field presence

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: enhancement

#87 - [Server] Protobuf spec should use Field Presence

Issue - State: closed - Opened by kokrui over 2 years ago
Labels: enhancement

#86 - [Server] Implement native Unicorn emulate until address

Pull Request - State: closed - Opened by lordidiot over 2 years ago - 1 comment

#86 - [Server] Implement native Unicorn emulate until address

Pull Request - State: closed - Opened by lordidiot over 2 years ago - 1 comment

#85 - [Server] Pause + Kill Manticore States at user discretion

Issue - State: closed - Opened by kokrui over 2 years ago

#85 - [Server] Pause + Kill Manticore States at user discretion

Issue - State: closed - Opened by kokrui over 2 years ago

#84 - [Server] Unicorn emulate until address

Issue - State: closed - Opened by kokrui over 2 years ago

#84 - [Server] Unicorn emulate until address

Issue - State: closed - Opened by kokrui over 2 years ago

#83 - [Binja] Allow multiple custom hooks per address, edit hooks through option in hook list

Issue - State: closed - Opened by kokrui over 2 years ago
Labels: Binary Ninja

#82 - [Ghidra] Color addresses with custom hooks blue

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: Ghidra

#82 - [Ghidra] Color addresses with custom hooks blue

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: Ghidra

#81 - Ghidra custom hook behaviour mismatch

Issue - State: closed - Opened by lordidiot over 2 years ago - 1 comment
Labels: Ghidra

#81 - Ghidra custom hook behaviour mismatch

Issue - State: closed - Opened by lordidiot over 2 years ago - 1 comment
Labels: Ghidra

#80 - Ghidra custom hook has no disassembly highlighting

Issue - State: closed - Opened by lordidiot over 2 years ago
Labels: bug, Ghidra

#80 - Ghidra custom hook has no disassembly highlighting

Issue - State: closed - Opened by lordidiot over 2 years ago
Labels: bug, Ghidra

#79 - [Ghidra] MUI Setup Component requires layout overhaul

Issue - State: open - Opened by kokrui over 2 years ago - 1 comment
Labels: Ghidra

#79 - [Ghidra] MUI Setup Component requires layout overhaul

Issue - State: open - Opened by kokrui over 2 years ago - 1 comment
Labels: Ghidra

#78 - Init binja-migration branch with correct directory structure

Pull Request - State: closed - Opened by kokrui over 2 years ago

#78 - Init binja-migration branch with correct directory structure

Pull Request - State: closed - Opened by kokrui over 2 years ago

#77 - [Ghidra] Edit Hook and Jump to Address via HookList

Pull Request - State: closed - Opened by kokrui over 2 years ago - 1 comment
Labels: Ghidra

#77 - [Ghidra] Edit Hook and Jump to Address via HookList

Pull Request - State: closed - Opened by kokrui over 2 years ago - 1 comment
Labels: Ghidra

#76 - Fix Ghidra README links

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#76 - Fix Ghidra README links

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#75 - Monorepo Migration

Pull Request - State: closed - Opened by kokrui over 2 years ago

#74 - Server Integration: Support Hooks

Pull Request - State: closed - Opened by kokrui over 2 years ago

#74 - Server Integration: Support Hooks

Pull Request - State: closed - Opened by kokrui over 2 years ago

#73 - Add execution tracing feature

Pull Request - State: closed - Opened by lordidiot over 2 years ago - 1 comment

#73 - Add execution tracing feature

Pull Request - State: closed - Opened by lordidiot over 2 years ago - 1 comment

#72 - Fix breaking changes from Binary Ninja 3.1

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#72 - Fix breaking changes from Binary Ninja 3.1

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#71 - Server Integration: State Graph Widget support

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: muiserver-integration

#71 - Server Integration: State Graph Widget support

Pull Request - State: closed - Opened by kokrui over 2 years ago
Labels: muiserver-integration

#70 - Add manual state killing support

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#70 - Add manual state killing support

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#69 - Support manually killing a running state

Issue - State: closed - Opened by lordidiot over 2 years ago
Labels: enhancement

#69 - Support manually killing a running state

Issue - State: closed - Opened by lordidiot over 2 years ago
Labels: enhancement

#68 - Server Integration: Fetches Log and State List after Starting Symbolic Execution

Pull Request - State: closed - Opened by kokrui over 2 years ago - 1 comment
Labels: muiserver-integration

#68 - Server Integration: Fetches Log and State List after Starting Symbolic Execution

Pull Request - State: closed - Opened by kokrui over 2 years ago - 1 comment
Labels: muiserver-integration

#67 - Add context-menu to pause/resume states

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#67 - Add context-menu to pause/resume states

Pull Request - State: closed - Opened by lordidiot over 2 years ago

#66 - Server Integration: Specify arbitrary arguments, CLI-style

Pull Request - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#66 - Server Integration: Specify arbitrary arguments, CLI-style

Pull Request - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#65 - Build MUI Server binary on plugin install

Pull Request - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#65 - Build MUI Server binary on plugin install

Pull Request - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#64 - gRPC server should be built on-demand on ManticoreUI install

Issue - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#64 - gRPC server should be built on-demand on ManticoreUI install

Issue - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#63 - Better results reporting

Pull Request - State: closed - Opened by lordidiot almost 3 years ago - 2 comments

#62 - Add tests for hook manager and hook rebasing plugin

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#62 - Add tests for hook manager and hook rebasing plugin

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#61 - Start and Terminate Symbolic Execution with the Manticore Server

Pull Request - State: closed - Opened by kokrui almost 3 years ago

#61 - Start and Terminate Symbolic Execution with the Manticore Server

Pull Request - State: closed - Opened by kokrui almost 3 years ago

#60 - Update missing dependencies

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#60 - Update missing dependencies

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#59 - Add shared library MUI hook support

Pull Request - State: closed - Opened by lordidiot almost 3 years ago - 1 comment

#59 - Add shared library MUI hook support

Pull Request - State: closed - Opened by lordidiot almost 3 years ago - 1 comment

#58 - Add option to unicorn emulate until address

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#58 - Add option to unicorn emulate until address

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#57 - Add right click context menu to delete hooks

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#57 - Add right click context menu to delete hooks

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#56 - pip install manticore with a non-deprecated git protocol

Pull Request - State: closed - Opened by kokrui almost 3 years ago - 1 comment

#56 - pip install manticore with a non-deprecated git protocol

Pull Request - State: closed - Opened by kokrui almost 3 years ago - 1 comment

#55 - Support hook naming

Issue - State: open - Opened by lordidiot almost 3 years ago
Labels: enhancement

#55 - Support hook naming

Issue - State: open - Opened by lordidiot almost 3 years ago
Labels: enhancement

#54 - Natalie and Evelyn can supply additional Manticore arguments in a command-line format

Issue - State: open - Opened by kokrui almost 3 years ago - 1 comment
Labels: enhancement, Binary Ninja, muiserver-integration

#54 - Natalie and Evelyn can supply additional Manticore arguments in a command-line format

Issue - State: open - Opened by kokrui almost 3 years ago - 1 comment
Labels: enhancement, Binary Ninja, muiserver-integration

#53 - Natalie can instruct MUICore to 'find' and 'avoid' specific addresses

Issue - State: closed - Opened by kokrui almost 3 years ago - 1 comment
Labels: muiserver-integration

#53 - Natalie can instruct MUICore to 'find' and 'avoid' specific addresses

Issue - State: closed - Opened by kokrui almost 3 years ago - 1 comment
Labels: muiserver-integration

#52 - Natalie and Evelyn can receive and display Log Messages and the State List from MUICore

Issue - State: closed - Opened by kokrui almost 3 years ago - 1 comment
Labels: muiserver-integration

#52 - Natalie and Evelyn can receive and display Log Messages and the State List from MUICore

Issue - State: closed - Opened by kokrui almost 3 years ago - 1 comment
Labels: muiserver-integration

#51 - Natalie and Evelyn can Start and Terminate symbolic execution with a MUICore backend

Issue - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#51 - Natalie and Evelyn can Start and Terminate symbolic execution with a MUICore backend

Issue - State: closed - Opened by kokrui almost 3 years ago
Labels: muiserver-integration

#50 - Add function model command

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#50 - Add function model command

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#49 - Add global custom hooks

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#49 - Add global custom hooks

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

#48 - Add command for adding function models

Issue - State: closed - Opened by lordidiot almost 3 years ago
Labels: enhancement

#48 - Add command for adding function models

Issue - State: closed - Opened by lordidiot almost 3 years ago
Labels: enhancement

#47 - Add support for global hooks

Issue - State: closed - Opened by lordidiot almost 3 years ago
Labels: enhancement

#47 - Add support for global hooks

Issue - State: closed - Opened by lordidiot almost 3 years ago
Labels: enhancement

#46 - Add hook list widget

Pull Request - State: closed - Opened by lordidiot almost 3 years ago

GitHub / trailofbits/manticoreui issues and pull requests