Hermit: Deterministic Linux for Controlled Testing and Software Bug-finding
Hermit: Deterministic Linux for Controlled Testing and Software Bug-finding If you've used emulators for older platforms, you probably experienced a level of precise control over software execution that we lack on contemporary platforms. For example, if you play 8-bit video games emulated on your modern console, you are able to suspend and rewind gameplay, and when you resume, that incoming creatu
Triton: A dynamic binary analysis library
About Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Dynamic symbolic execution Dynamic taint analysis AST representation of the x86, x86-64, ARM32 and AArch64 ISA semantic Expressions synthesis SMT simplification passes Lifting to LLV
AppImage
"As a user, I want to download an application from the original author, and run it on my Linux desktop system just like I would do with a Windows or Mac application." "As an application author, I want to provide packages for Linux desktop systems, without the need to get it 'into' a distribution and without having to build for gazillions of different distributions." Leading Linux distributions Dow
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Easiest way to merge 2 or more ELF files
Executing system command in Vala
Rubyで外部コマンドを実行して結果を受け取る方法あれこれ - Qiita
ＯＳ関係/MacOSX - 神嶋教授の独白
GitHub - vmchale/hs-bind: Library support for calling Haskell functions in ATS.
http://www.binaryanalysis.org/
GitHub - m4b/bingrep: like ~~grep~~ UBER, but for binaries
