Skip to content

Instantly share code, notes, and snippets.

View pawlos's full-sized avatar
🐛

Paweł Łukasik pawlos

🐛
87 followers · 77 following
View GitHub Profile
@pawlos
pawlos / asan.txt
Created May 4, 2020 15:42
This file has been truncated, but you can view the full file.
=================================================================
==25766==ERROR: LeakSanitizer: detected memory leaks
Direct leak of 445 byte(s) in 42 object(s) allocated from:
#0 0x7f2919d48538 in strdup (/usr/lib/x86_64-linux-gnu/libasan.so.4+0x77538)
#1 0x7f29194fcb68 in r_str_new /home/ubuntu/radare2/libr/util/str.c:686
#2 0x7f2911d7aeda in __init_almighty_db /home/ubuntu/radare2/libr/core/panels.c:5261
#3 0x7f2911d7b157 in __init_all_dbs /home/ubuntu/radare2/libr/core/panels.c:5278
#4 0x7f2911d899d1 in __init_new_panels_root /home/ubuntu/radare2/libr/core/panels.c:6416
#5 0x7f2911d88d12 in r_core_visual_panels_root /home/ubuntu/radare2/libr/core/panels.c:6350
@pawlos
pawlos / solv.py
Last active April 18, 2020 20:09
Solution for TAMUCtf's leaning_tower!
hashes = ["9033bacfd0636139084ea80aa654113f3240f7fc",
"97f0f871be356f464bca862487e365d92fc507bb",
"11071c464490c8baaa979bf83e098f3318b36003",
"45fa0b57640f797ad28709cf7f3b495d61514418",
"2540407ace41adaaa279c9a9f8d900bd87a8aa5d",
"f4c50cd4475f6a1833180506817b4bbd45dc17f7",
"f0e8c88568fcb989f60f09f52b1aad1b7d2454b5",
"744dde01735bc3d2b047d7d9fbc5662b97628f01",
"2cab6da567fa23426f81d54326ca537e5bd89d7e",
"7f0bc15fb2695af18fd1e6c8df386f824cf67af9",
@pawlos
pawlos / Program.cs
Created April 6, 2020 18:12
Modification to the waiver code to handle try-catch
using System;
using System.Diagnostics;
using System.IO;
using System.Linq;
using System.Reflection;
using Mono.Cecil;
using Mono.Cecil.Cil;
namespace SimpleILMeasurement
{
@pawlos
pawlos / a_happy_family.py
Created March 29, 2020 18:04
Solver for "A happy family (RE)" challenge from ångstromCTF 2020
#a_happy_family solver
from z3 import *
basechars = "angstromctf20"
def toascii(v):
res = ''
for i in range(8):
res += chr(v & 0xFF)
v >>= 8
@pawlos
pawlos / Program.cs
Created February 27, 2020 18:07
using System;
using System.Diagnostics;
using System.IO;
using System.Linq;
using System.Reflection;
using Mono.Cecil;
using Mono.Cecil.Cil;
namespace SimpleILMeasurement
{
@pawlos
pawlos / solveWithZ3.py
Created February 13, 2020 15:30
Solution for vv_max with emulating AVX operation with z3
from z3 import *
zero = 0
reg0 = BitVec('r0', 32*8)
reg1 = BitVec('r1', 32*8)
reg2 = BitVec('r2', 32*8)
reg3 = BitVec('r3', 32*8)
reg4 = BitVec('r4', 32*8)
reg5 = BitVec('r5', 32*8)
@pawlos
pawlos / part4.py
Created February 1, 2020 20:27
''' i = 0;
sum = 0xffffffff;
while (*(char *)(param_1 + i) != '\0') {
iVar1 = i + 1;
sum = sum ^ (int)*(char *)(param_1 + i);
cnt = 7;
while (i = iVar1, -1 < cnt) {
sum = -(sum & 1) & 0xedb88320 ^ sum >> 1;
cnt = cnt + -1;
}
@pawlos
pawlos / part3.py
Created February 1, 2020 20:27
k = "Pl3as_d0"+"n't_cR45"+"h_1n_+h!"+"s_fUnC+1"+"0n"
s = "+U]\x93\xa0C\xdd\x14"+"CR}\xe5"
print len(k), len(s)
b = []
j = 0
cnt = 0xf6
@pawlos
pawlos / part2.py
Created February 1, 2020 20:26
a = [0x2a,0x7c,0x2d,0x49,0x66,0x6e,0x71,0x32,
0x30,0x21,0x20,0x0a,0x41,0x5a,0x64,0x24,
0x72,0x3c,0x58,0x6f,0x5c,0x44,0x2f,0x7b,
0x4b,0x43,0x7e,0x61,0x34,0x54,0x7a,0x37,
0x29,0x59,0x5e,0x3a,0x78,0x60,0x0b,0x7d,
0x53,0x73,0x31,0x79,0x4f,0x6d,0x69,0x76,
0x23,0x0d,0x25,0x5d,0x40,0x5b,0x5f,0x4e,
0x28,0x48,0x6a,0x2c,0x56,0x51,0x75,0x67]
@pawlos
pawlos / part1.cpp
Created February 1, 2020 20:25
#include <stdio.h>
int main() {
unsigned int expected[8] = {0};
expected[0] = 0x95cb8dbd;
expected[1] = 0xf84cc79;
expected[2] = 0xb899a876;
expected[3] = 0xa5dab55;
expected[4] = 0x9a8b3bba;