Hacking Articles Tips Tricks Videos Tutorials
468 subscribers
65.8K photos
15 videos
157 files
132K links
Exploit
Pentesting
Hacking
Red Team
Blue Team
Kali Linux
Bug Bounty
Black Hat
Cyber security etc

@Hacking_Video
@Hacking_attack
Download Telegram
Hacking Articles Tips Tricks Videos Tutorials
Photo
Kali Linux Tutorials
MUI : A GUI Plugin For Binary Ninja To Interact And View The Progress Of Manticore

MUI (Manticore User Interface) project, we provide a graphical user interface plugin for Binary Ninja to allow users to easily interact with and view progress of the Manticore symbolic execution engine for analysis of smart contracts and native binaries.

ATTENTION This project is under active development and may be unstable or unusable. Please open an issue if you have any difficulties using the existing features. New feature development will be considered on a case by case basis. Requirements

Aside from the Python requirements, we require the following:

* Binary Ninja (latest development version) with GUI
* git submodule update --init --recursivefor Manticore submodule Installation

MUI requires a copy of Binary Ninja with a GUI. Currently we are testing against the latest devrelease(s) (2.4.2901-dev at time of writing).

Manticore only operates on native binaries within a Linux environment. EVM support has only been tested on Mac and Linux, and it requires the installation of ethersplay.

Python dependencies are currently managed using requirements.txtand requirements-dev.txt. You can run make initto set up a development environment.

* Make the project available to Binary Ninja by creating a symbolic link to the plugins directory. From within the root of this repo, run the following:

For Mac
ln -s “$(pwd)/mui” “${HOME}/Library/Application Support/Binary Ninja/plugins/mui”
For Linux
ln -s “$(pwd)/mui” “${HOME}/.binaryninja/plugins/mui”

* Make sure Binary Ninja knows about our Python virtual environment.
* Open Binary Ninja’s “Preferences” -> “Settings” -> “Python” and ensure the “Python Interpreter” is correctly set to the Python path associated with the current virtual environment. Reference venv/pyvenv.cfgto find the base path.
* Copy and paste the absolute path of the MUI project into Binary Ninja’s “Python Virtual Environment Site-Packages” and add the required /venv/lib/python3.<minor_version/site-packagessuffix for the site-packages path.
* Restart Binary Ninja if necessary. Development

Installing currently listed dependencies:

make init
For Mac (will be similar for Linux)
export PYTHONPATH=”/Applications/Binary Ninja.app/Contents/Resources/python:/Applications/Binary Ninja.app/Contents/Resources/python3

Activating the python virtual environment (do this before running other make commands):

$ . venv/bin/activate

Code style and linting can be followed by running the following:
$ make format
$ make lint
Tests for code without Binary Ninja interaction can be run if you have a headless version of binary ninja available, otherwise only non-Binary Ninja tests will be run:
$ make test
Adding a new dependency can be done by editing requirements.txtor requirements-dev.txtand then running the following in the virtual environment:
$ pip install -r requirements-dev.txt -r requirements.txt
Usage (Native)

All MUI features can be accessed through either the right-click context menu or the command palette. Common features include:

* Find Path to This Instruction / Remove Instruction from Find List
* Avoid This Instruction / Remove Instruction from Avoid List
* Add/Edit Custom Hook
* Solve With Manticore / Stop Manticore

And the following widgets are available:

* State List WidgetShows all the Active/Waiting/Complete/Errored states during manticore execution. Double-clicking a certain state navigates you to the current instruction of that state and renders its provenance tree in the graph widget.
https://blogger.googleusercontent.com/img/a/AVvXsEiYE-ie5AwV7KtwfgDH4N9zqjcLJejxajVAu6X76Z1u0b63uEPYQEyY6Uwk-0XlS6McrwgPm1qX9pdDaColPl1I1gcs3HDGoy2EqRMZZDMMv9ZGbNL-FFY[...]
Hacking Articles Tips Tricks Videos Tutorials
Kali Linux Tutorials MUI : A GUI Plugin For Binary Ninja To Interact And View The Progress Of Manticore MUI (Manticore User Interface) project, we provide a graphical user interface plugin for Binary Ninja to allow users to easily interact with and view…
ERiifZTMegu_Ck9fg6hfZ-iy4d_RKWRUsnHV8HSRQEQtYLLAavg3pHtuofbpRsoxntGxk=s1748
* State Graph WidgetShows the provenance tree for a certain state selected in the list widget. Tabcan be used to expand/collapse the graph and double-clicking any of the state nodes navigates you to the current instruction of that state.
https://blogger.googleusercontent.com/img/a/AVvXsEjCLrJqLpmiTMBxUgUE4QkF98L06eTroXzDZ0LMvw5WVaqAV5Riv9ELHzgvzGJWmizELpPZzy8aqbT15FJPn-csA-BmBSUzOZ8yOalizkiR-mLzEjiOTEh4S9pBM5cytUCIs6cztgGY5lHqsBRrMLRJdwnIOzymi5mPokwx_NL_CDLMNhz2hPpC6gJJ=s2838
* Run DialogThe run dialog is shown when you invoke the Solve with Manticorecommand. It allows you to configure the various manticore options, and the changes will be saved to the bndbfile. Some example configs include using a combination of LD_PRELOADand LD_LIBRARY_PATHenvironment variables to run the binary with custom glibc.
https://blogger.googleusercontent.com/img/a/AVvXsEgbPUF3OOwJGgbsrSXrGLLS2kD4e00e6xdqOPZmZ8hP7ttaFPT5mFThQjRW3lX6PIEBVVynCbtKb6KUlM_q8zyNYv5pRIQRoeJ7-qbuimPVsn7hbND9MnderO5-h88-zwkNNqc_1lz_dLMXXT2Fme6rUL9LNDwgGrhL4CWPf7iPzfeCrfmPsxi68Ym5=s1874
* Custom Hook DialogThe custom hook dialog can be accessed using the Add/Edit Custom Hookcommand. It allows you to define a custom manticore hook at the selected address. You also have full access to the Binary Ninja API which allows you to add highlighting, comments, and more. A defined hook can be removed by setting the code input field to blank.
https://blogger.googleusercontent.com/img/a/AVvXsEirge7UYLpU6vDkAf9MNBaTM8JVn6rbStpo_dViIwCqruEdGUJjLIX8pbh_WN9i_X6ySmb89awfdtPmBm9QO4CnUAbkXzktJICJrR3OAzk217kzQMrZ4UKJgq8KdoMJLOpH_jN64_VxDJmw1AfnDUr8VFjK4xFJM92AfB5JE02Ye4oWKApirQAnChQ2=s1424
Usage (EVM)

EVM support is currently a bit limited. MUI EVM only supports the same feature set as the Manticore CLI tool. Available commands include:

* Load Ethereum Contract
* Solve With Manticore / Stop Manticore

And the following views are implemented:

* EVM Run DialogThe run dialog is shown when you invoke the Solve with Manticorecommand. It allows you to configure the various manticore options, and the changes will be saved to the bndbfile.
https://blogger.googleusercontent.com/img/a/AVvXsEgEwnSEPDOqcCAYqWaqCT1xWLQztkrxDzAJ5fBQjgcU4tQ20rItId8We03navGfgRQfzfrcBOFXa-KaXxBeYpbqT4QOc-kzbaOFyNgGJb9q0pJkeXxgTgsKQuwSAi6scxI_re-G535cixXcYKL0hQLTJbvXycqbMvbg9r8G88MF9WJ7iyDkH5QZ3Saj=s2196
* Run ReportThe report page shows the result of a manticore execution. It displays all the files produced using the Binary Ninja UI.
https://blogger.googleusercontent.com/img/a/AVvXsEigh3Fv2ywgzkr_AgNe9SqF5imE11h0MAnsNItFlQWb_EZ9Vn3koEn_pEbMyaCJgAnGib2JdEafq5w8uu1jvhHzCso6noI6mcA8Ep9zmF0ZTKPEl7rvCgPkcg566ypzPU01csG5tOMS7Th4V7fq3sb4tbRPVVCDvFWXXaQV9mDgQaCsjOuux7zhFvM-=s3016 Download
Bug Bounties in Sri Lanka

tl;dr — Bug Zero is a Sri Lanka based Bug Bounty platform and is here to help secure your organization from cybersecurity threats.Continue reading on Bug Zero »
Read more...
Bug Zero is Going to Pay Your Security Bill for 2022

tl;dr — Bug Zero is a Sri Lanka based Bug Bounty platform and is here to help secure your organization from cybersecurity threats.Continue reading on Bug Zero »
Read more...
Dark Reading: Attacks/Breaches
Where AI Falls Down in Cybersecurity

Many cybersecurity products claim to incorporate AI in some way, but in some cases, those claims aren't completely accurate.
Dark Reading: Attacks/Breaches
If the Cloud Is More Secure, Then Why Is Everything Still Broken?

The sooner we discover sources of risk, the better equipped we will be to create effective mitigations for them.
Dark Reading: Attacks/Breaches
Ransomware Adds New Wrinkle in Russian Cybercrime Market

Government crackdowns may destabilize Russian crime rings and strengthen their ties to Chinese allies.
Dark Reading: Attacks/Breaches
Enterprises Look Beyond Antivirus Software for Remote Workers

Priorities are shifting, with growing emphasis on endpoint detection and response (EDR) software and multifactor authentication (MFA), a recent survey of IT professionals shows.