Pin - A Dynamic Binary Instrumentation Tool
Overview Pin is a dynamic binary instrumentation framework for the the IA-32 and x86-64 instruction-set architectures that enables the creation of dynamic program analysis tools. Some tools built with Pin are Intel® VTune™ Amplifier, Intel® Inspector, Intel® Advisor and Intel® Software Development Emulator (Intel® SDE). The tools created using Pin, called Pintools, can be used to perform program a
SatoshiãŒæ³¨æ„æ·±ãè¨å®šã—ãŸä¸–ç•Œã®å¢ƒç•Œç·š
2度ã®ã‚¤ãƒ³ã‚·ãƒ‡ãƒ³ãƒˆãŒç¤ºã™å®‰å…¨ãªã‚·ã‚¹ãƒ†ãƒ ã¸ã®ç†è§£ä¸è¶³å‹¤å‹‰ãªå›½æ°‘性をæŒã¡ã€ã‚·ã‚¹ãƒ†ãƒ ã®é‹ç”¨ã‚’è¡Œã‚ã›ã‚Œã°ç¢ºå®Ÿã«ä»•äº‹ã‚’ã“ãªã™ã“ã¨ã§ä¸–界的ã«ã‚‚知られã¦ã„る日本ã«ãŠã„ã¦ã€Mt. Gox事件ã«ç¶šãã€2回目ã®å–引所ã«ãŠã‘る大ããªã‚¤ãƒ³ã‚·ãƒ‡ãƒ³ãƒˆãŒç™ºç”Ÿã—ãŸã€‚ç†è€…ã¯ã€ä»¥å‰ã‚ˆã‚Šã€æ—¥çµŒIT Proã®é€£è¼‰ã€Œãƒ–ãƒãƒƒã‚¯ãƒã‚§ãƒ¼ãƒ³ã¯æœ¬å½“ã«ä¸–界を変ãˆã‚‹ã®ã‹ã€ï¼ˆå¤§å¹…åŠ ç†ã‚’ã—ã¦æ›¸ç±ã€Žãƒ–ãƒãƒƒã‚¯ãƒã‚§ãƒ¼ãƒ³æŠ€è¡“ã®æœªè§£æ±ºå•é¡Œã€ã¨ã—ã¦å‡ºç‰ˆï¼‰ã«ãŠã„ã¦ã€ãƒ–ãƒãƒƒã‚¯ãƒã‚§ãƒ¼ãƒ³ã‚’用ã„ãŸã‚·ã‚¹ãƒ†ãƒ ã«ãŠã‘ã‚‹ã‚»ã‚ュリティ確ä¿ã®é›£ã—ã•ã‚’解説ã—ã€ã‚¹ã‚¿ãƒ³ãƒ•ã‚©ãƒ¼ãƒ‰å¤§å¦ã§è¡Œã‚ã‚ŒãŸãƒ–ãƒãƒƒã‚¯ãƒã‚§ãƒ¼ãƒ³ã®ã‚»ã‚ュリティã«é–¢ã™ã‚‹ãƒˆãƒƒãƒ—ã®ä¼šè°ã§ã‚ã‚‹Blockchain Protocol Analysis and Security Engineering 2017 (BPASE 2017)ã€IEEE Security & Pricvacy on the Blockhcain(IEEE S&B
Infer : RacerD | Infer
RacerD finds data races in your Java code. This page gives a more in-depth explanation of how the analysis works, but may be less complete than the Thread Safety Violation bug description page. To run the analysis, you can use plain infer (to run RacerD along with other analyses that are run by default) or infer --racerd-only (to run only RacerD). For example, the command infer --racerd-only -- ja
How to use PVS-Studio for Free
Introduction The main customers of the PVS-Studio tool are the development departments of various companies. At the same time, we would also like to see individual developers as our clients. Unfortunately, our experimental product CppCat had no success. We don't know how we can build a successful business in the sphere of static analysis by selling individual licenses. This is why we still see PVS
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - analysis-tools-dev/static-analysis: âš™ï¸ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
GitHub - google/shipshape: Program analysis platform
{{#tags}}- {{label}}
{{/tags}}