Eric Hennenfent ehennenfent

## gist.md

      
              3 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                ehennenfent
                / gist.md
            
            
              Last active
              March 20, 2020 18:50
            
              
                manticore inheritance diagrams
              
          
    Old inheritance diagram:


New Inheritance diagram:


## 0multiple_styles_writeup.md

      
              4 files
            
          
              3 forks
            
          
              1 comment
            
          
              4 stars
            
          
                ehennenfent
                / 0multiple_styles_writeup.md
            
            
              Last active
              December 28, 2022 10:18
            
              
                A writeup of a simple crackme using the manticore concolic execution engine.
              
          
    Multiple Styles: The Writeup

The following is a writeup of the challenge 'multiple-styles' from the manticore wiki.
Analysis

If we were to run the command manticore multiple-styles, manticore would begin an automatic analysis of the binary, and would eventually figure out the necessary inputs to reach any code path. However, as this can take an exceptionally long time (depending on the complexity of the binary), we will do some manual analysis of the binary in order to speed things up. Below is an annotated disassembly of the main function, produced by Binary Ninja.