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, AArch64 and RISC-V 32/64 ISA semantic Expressions synthesis SMT simplification passes
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
{{#tags}}- {{label}}
{{/tags}}