「カãƒãƒ¬ãƒƒã‚¸ãŒé«˜ã‘ã‚Œã°ã€å“質ãŒé«˜ã„ã€ã¨èª¤è§£ã—ã¦ã„ã‚‹å±é™ºãªæ€æƒ³å®¶ã®çš†æ§˜ã¸ - Qiita
皆ã•ã‚“㯠「カãƒãƒ¬ãƒƒã‚¸ãŒé«˜ã‘ã‚Œã°ã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å“質ãŒé«˜ã„ã€ã¨ã„ã†èª¤è§£ ã‚’ã—ã¦ã„ã¾ã›ã‚“ã‹ï¼Ÿå°‘ãªãã¨ã‚‚ç§ã¯ä»Šã¾ã§ãƒ†ã‚¹ãƒˆã‚«ãƒãƒ¬ãƒƒã‚¸100%を追求ã—ã¦ã„ã¾ã—ãŸã€‚「C0/C1ã‚«ãƒãƒ¬ãƒƒã‚¸100%ã€ãŒãƒ¦ãƒ‹ãƒƒãƒˆãƒ†ã‚¹ãƒˆã®å®Œäº†æ¡ä»¶ã¨ã—ã¦å«ã¾ã‚Œã¦ã„るプãƒã‚¸ã‚§ã‚¯ãƒˆã‚‚多ã„ã‹ã¨æ€ã„ã¾ã™ã€‚ 本稿ã§ã¯ã€ã€Œã‚«ãƒãƒ¬ãƒƒã‚¸ãŒé«˜ã‘ã‚Œã°ã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å“質ãŒé«˜ã„ã€ã¨ã„ã†å‘½é¡ŒãŒãªãœèª¤ã£ã¦ã„ã‚‹ã®ã‹ã‚’è«–ç†çš„ã«è¨¼æ˜Žã—ã€ã‚«ãƒãƒ¬ãƒƒã‚¸ã‚’計測ã™ã‚‹æœ¬å½“ã®ç›®çš„ã€ãã—ã¦æŽ¨å¥¨ã•ã‚Œã‚‹ã‚«ãƒãƒ¬ãƒƒã‚¸ã®ç›®æ¨™å€¤ã«ã¤ã„ã¦ç´¹ä»‹ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 「カãƒãƒ¬ãƒƒã‚¸ãŒé«˜ã‘ã‚Œã°ã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å“質ãŒé«˜ã„ã€ã¯ãªãœé–“é•ã£ã¦ã„ã‚‹ã®ã‹ï¼Ÿ ã‚«ãƒãƒ¬ãƒƒã‚¸ã‚’計測ã™ã‚‹æœ¬å½“ã®ç›®çš„ ãƒã‚°ã‚’潜在ã•ã›ã¦ã—ã¾ã†æ怖ã®ãƒ†ã‚¹ãƒˆã‚±ãƒ¼ã‚¹ãƒ»ã‚¢ãƒ³ãƒãƒ‘ターン ã‚«ãƒãƒ¬ãƒƒã‚¸ã®ç›®æ¨™å€¤ã¯100%ã«ã™ã‚‹ã¹ãã§ã¯ãªã„ ã‚«ãƒãƒ¬ãƒƒã‚¸ã®ç›®æ¨™å€¤ã¯ä½•%ã«ã™ã‚‹ã¹ããªã®ã‹ï¼Ÿ （テストカãƒãƒ¬ãƒƒã‚¸ã®ç¨®é¡žã«ã¤ã„ã¦ã¯ã€Žãƒ›ãƒ¯ã‚¤ãƒˆãƒœãƒƒã‚¯ã‚¹ãƒ†ã‚¹ãƒˆã«ãŠã‘ã‚‹ã‚«ãƒãƒ¬
wolfSSLã¯ã©ã®ã‚ˆã†ã«ãƒ†ã‚¹ãƒˆã•ã‚Œã¦ã„ã‚‹ã‹ (2) - wolfSSL
（ã“ã®æŠ•ç¨¿ã¯ã€ä»¥å‰ã®æŠ•ç¨¿ã«Fuzzテストã€ãƒ—ãƒãƒˆã‚³ãƒ«è§£æžã®é …ç›®ã‚’åŠ ç†ã—ãŸã‚‚ã®ã§ã™ï¼‰ wolfSSL製å“ã®ã‚»ã‚ュリティã¯å¸¸ã«ã‚ãŸã—ãŸã¡wolfSSL社ãŒæ„è˜ã—ã¦ã„る最é‡è¦äº‹é …ã§ã™ã€‚定常的ã€å…¥å¿µã‹ã¤ã‚ˆã計画ã•ã‚ŒãŸãƒ†ã‚¹ãƒ†ã‚£ãƒ³ã‚°ã“ããŒwolfSSLã®å …牢性ã¨ã‚»ã‚ュリティ性ã®ç¶æŒã‚’助ã‘ã¾ã™ã€‚ã‚ãŸã—ãŸã¡ã¯å¸¸ã«ã‚¯ãƒªãƒ¼ãƒ³ã§å¯èªæ€§ãŒé«˜ã分ã‹ã‚Šã‚„ã™ã„コードを書ãよã†ã«åŠªã‚ã¦ã„ã¾ã™ã€‚ ホルトå•é¡Œã®ã‚ˆã†ã«ã€ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®å¯èƒ½ãªãƒ‘スをã™ã¹ã¦ãƒ†ã‚¹ãƒˆã—ã¤ã™ã“ã¨ã¯ä¸å¯èƒ½ã ã¨è€ƒãˆã¾ã™ãŒã€éšœå®³ã®ãƒªã‚¹ã‚¯ã‚’最å°åŒ–ã™ã‚‹ã“ã¨ã«ãƒ•ã‚©ãƒ¼ã‚«ã‚¹ã™ã‚‹ã‚¢ãƒ—ãƒãƒ¼ãƒã‚’ã¨ã‚Šã¾ã™ã€‚広範囲ãªè‡ªå‹•åŒ–テストã«åŠ ãˆã¦ã€ç‰¹ã«æ—¢çŸ¥ã®ãƒ¦ãƒ¼ã‚¹ã‚±ãƒ¼ã‚¹ãŒç¢ºå®Ÿã«ãƒ†ã‚¹ãƒˆã•ã‚Œã‚‹ã“ã¨ã‚’確èªã—ã¾ã™ã€‚ã“ã®è¨˜äº‹ã§ã¯wolfSSL社内ã§ã®ãƒ†ã‚¹ãƒˆãƒ»ãƒ—ãƒã‚»ã‚¹ã«ã¤ã„ã¦æ¦‚説ã—ã¾ã™ã€‚ API å˜ä½“テスト：API関数ã®æ£ã—ã„挙動をテストã™ã‚‹å˜ä½“テストを実施ã—ã¦ã„ã¾ã™ã€‚ã“ã‚Œã¯è¤‡æ•°ã®ãƒªãƒªãƒ¼ã‚¹é–“ã«ã¾ãŸãŒã£
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution
DeepSource: The Unified DevSecOps Platform
{{#tags}}- {{label}}
{{/tags}}