![Rolf Rolles Profile](https://pbs.twimg.com/profile_images/970939500619735040/6QNbneRc_x96.jpg)
Rolf Rolles
@RolfRolles
Followers
14K
Following
3K
Statuses
2K
Static reverse engineering, deobfuscation, program analysis and formal verification, training, mathematics, compilers, functional programming, etc.
Berkeley, California
Joined July 2009
RT @offensive_con: Rolf Rolles (@RolfRolles) will be teaching his ‘Static Analysis of C++’ training in this year’s Offensivecon. Sign up…
0
10
0
RT @ColtonSkees: (1) Decided to release the source code for my LLVM-based static binary analysis framework (. It im…
0
49
0
RT @PLDI: PLDI will also host the third EGRAPHS workshop on Monday, Jun 24. The data structure that powers SMT solvers is now seeing use in…
0
9
0
@is_eqv The graphs are CFGs so yes, generally the indegree is low. Only at or nearby the function epilog does the indegree tend to be higher (e.g. multiple return statements).
0
0
1
@AzakaSekai_ I thought so! So it's not that Ghidra shows exception handlers, rather, this example's pathological characteristics conspired to show one in the decompilation. (Normally, catch handlers are at the end of .text, so they would not be physically adjacent to the main function body.)
0
1
2
@AzakaSekai_ Go to the function definition for `_CxxThrowException` in your binary and press `F`. Is the "No Return" box checked? If not, check it and re-analyze.
1
0
2
@AzakaSekai_ It is possible to show try, catch, wind, and unwind blocks in Hex-Rays -- -- but it's a very non-trivial R&D exercise.
0
3
5
RT @thedailybeast: Sophia d’Antoine was walking just half a block from her Upper East Side apartment when the Land Rover hit her. https://t…
0
31
0
@gannimo @herbertbos No, it was not a space issue. Their complaint was that my citations were not to academic publications.
1
0
5
RT @Binary_Gecko: Congrats to @RolfRolles for winning a DJI drone! No one else used the static analysis solution for the Linux Challenge 💯💯…
0
5
0