ππππππ
@alkalinesec
Followers
3K
Following
10K
Statuses
2K
mobile security / symbolic execution. opinions are mine. @[email protected] . he / him
__PAGEZERO
Joined October 2019
radius is a new symbolic execution and taint analysis framework written in Rust. It is the fastest* symbolic execution tool for binaries** and aims*** to be a complete and useful utility**** for reverse engineering and fuzzing. Try it out!
12
98
394
this is my best and final tweet. im on the other site with the same username
everyone is worried about RJ45 adapters when the obvious real threat is external drives for CDs. these devices do not even need to be backdoored to pose a significant risk to the user. an attacker in physical proximity to the victim can say "You like CDs? How would you like to C
0
0
3
everyone is worried about RJ45 adapters when the obvious real threat is external drives for CDs. these devices do not even need to be backdoored to pose a significant risk to the user. an attacker in physical proximity to the victim can say "You like CDs? How would you like to C
3
1
17
i finally got around to reading and damn it is so cool that @__sethJenkins was likely able to reverse engineer the exploit mechanism cuz of a stray timestamp in a panic log
0
11
64
RT @atc1441: It finally happened, found a full buffer overflow + exploit for the first timeπ₯³ The target, The Signed OTA of the Xiaomi Therβ¦
0
103
0
RT @natashenka: Just unrestricted an issue that shows a fun new attack surface. Android RCS locally transcribes incoming media, making vulnβ¦
0
105
0
action movie hacking montage but its just me staring into space for 6 hours trying to think of what to do with this primitive
0
1
29
RT @khronokernel: For some inexplicable reason, Apple deemed it safe to give me the Endpoint Security entitlement. Thus my first action asβ¦
0
6
0
*hackers in 2027 prolly*: pwned
Duck typing? You're thinking too small. With AI, we can finally take Guido van Rossum's dream to its logical conclusion
0
0
5
@moyix yeah 4o with name=NaN says No without the single quotes. also itll sometimes say No with name='float(nan)'
0
0
1
RT @MsmCode: Ghidralib development continues: py3 support, binary/asm patching, and symbolic propagation: I also wβ¦
0
1
0
RT @laomaiweng: Armed with the forbidden knowledge hidden in the message, Morriss went on to create the Morriss Worm, a subterranean creatuβ¦
0
1
0
the code, like the rest of the "Content" churned out by this account, is entirely written by claude
0
0
11
added some more CTF challenge examples to this repo recently
1
6
44
2 out of 4 of the rev challenges in AlpacaHack Round 8 can be solved with radius2 using a mergepoint in the flag check loop
0
1
37
@lumc_ radius2 is a symbolic execution engine like angr, but it emulates instructions using r2's ESIL whereas angr uses VEX. with the merge point and -z radius2 can actually solve this in <3s
0
0
1
RT @R00tkitSMM: SysBumps: Exploiting Speculative Execution in System Calls for Breaking KASLR in macOS for Apple Silicon
0
22
0
RT @DiracGhost: ''Gauge Theories and Fiber Bundles: Definitions, Pictures, and Results'' by Adam Marsh, is the best visual primer in the buβ¦
0
78
0