Marc sisoma2

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                sisoma2
                / keybase.md
            
            
              Last active
              April 12, 2019 18:05
            
              
                keybase.md
              
          
    Keybase proof

I hereby claim:

I am sisoma2 on github.
I am sisoma2 (https://keybase.io/sisoma2) on keybase.
I have a public key ASB1bNeJcasO6TThNSssPEaDV4qqOZhxzn3_ealJaQXMEwo

To claim this, I am signing this object:

  
## z3_baby_reindeer_solver.py
from z3 import *

xs = [BitVec('x{}'.format(i), 8) for i in xrange(25)]
s = Solver()

for x in xs:
	s.add((x & ~0xff) == 0)

s.add(xs[0] == 101)
s.add(xs[14] ^ xs[0] == 14)

## bruteforce_md5.php
<?php
define('HASH_ALGO', 'md5');
define('PASSWORD_MAX_LENGTH', 8);

$charset = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789';
$str_length = strlen($charset);
$salt = 'some long string ... blah blah blah';

function check($payload)
{

## IDA_API_Renamer.py
### Main
def API_Renamer(filename, destination_api_offset):
	count = 0

	print "[+] Reading imports from {filename}...\n".format(filename=filename)
	with open(filename) as f:
		for line in f:
			line_values = line.strip().split("  ")
			api_address = line_values[1]
			if (api_address != "00000000"):
	from z3 import *

	xs = [BitVec('x{}'.format(i), 8) for i in xrange(25)]
	s = Solver()

	for x in xs:
	s.add((x & ~0xff) == 0)

	s.add(xs[0] == 101)
	s.add(xs[14] ^ xs[0] == 14)
	<?php
	define('HASH_ALGO', 'md5');
	define('PASSWORD_MAX_LENGTH', 8);

	$charset = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789';
	$str_length = strlen($charset);
	$salt = 'some long string ... blah blah blah';

	function check($payload)
	{
	### Main
	def API_Renamer(filename, destination_api_offset):
	count = 0

	print "[+] Reading imports from {filename}...\n".format(filename=filename)
	with open(filename) as f:
	for line in f:
	line_values = line.strip().split(" ")
	api_address = line_values[1]
	if (api_address != "00000000"):