Skip to content

Instantly share code, notes, and snippets.

View pawlos's full-sized avatar
🐛

Paweł Łukasik pawlos

🐛
87 followers · 79 following
View GitHub Profile
@pawlos
pawlos / VCXSrv.0
Created June 13, 2020 15:43 — forked from stowler/VCXSrv.0
# It looks like -multiwindow mode triggers the static color visual in both the internal x2go xserver and the external vcxsrv
# But it also looks like -multiwindow mode is how x2go client allows resizing of the remote desktop
# ...so I'm looking for a way to allow resizing of remote desktop w/out triggering static color visual.
#
# ...output of vcxsrv.exe's usage note:
Usage...
Vcxsrv [:<display>] [option]
:display-number
@pawlos
pawlos / pwntools-final.py
Last active June 9, 2020 19:38
from pwn import *
t = process('./ret2win32')
context.terminal = ['/c/tools/wsl-terminal/open-wsl.exe','-e']
gdb.attach(t)
t.interactive()
@pawlos
pawlos / pwntools.py
Last active June 9, 2020 19:20
from pwn import *
t = process('./ret2win32')
gdb.attach(t)
t.interactive()
@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;
}