You are here |
educatedguesswork.org | ||
| | | |
borretti.me
|
|
| | | | A survey of type systems for memory safety. | |
| | | |
thephd.dev
|
|
| | | | Ever since I finished publishing the "defer" paper and successfully defended it on its first go-around (it now has tentative approval to go to a Technical Specification, I just need to obtain the necessary written boilerplate to do so), an old criticism | |
| | | |
www.evanmiller.org
|
|
| | | | A review of Rust, the programming language built for safety - not necessarily for comfort. | |
| | | |
blog.deesee.xyz
|
|
| | When reverse engineering an application that is shipped as compiled bytecode (jar file, war file, class files, etc.), we normally use a decompiler and then audit the resulting Java code. The catch is that the language the application was written in might not have been Java! Indeed, there are multiple languages that target the Java Virtual Machine (JVM) and produce bytecode just like Java does. On top of generating generally strange decompiled code, this has for effect that the common potentially dangerou... |