コードをé™çš„解æžã—ã¦è„†å¼±æ€§ã‚’検出ã™ã‚‹ã€ŒSCALeã€ã€ç±³CERTãŒã‚ªãƒ¼ãƒ—ンソースã§å…¬é–‹ç±³Software Engineering Institute（SEI）ã®CERT部門ã¯ã€é™çš„解æžã«ã‚ˆã£ã¦ã‚³ãƒ¼ãƒ‰ã®è„†å¼±æ€§ã‚’検出ã™ã‚‹ã‚¢ãƒ—リケーション「SCALeã€ï¼ˆSource Code Analysis Laborator）をオープンソースã§å…¬é–‹ã—ã¾ã—ãŸã€‚ SCALeã¯ã€è¤‡æ•°ã®é™çš„解æžãƒ„ールをã¾ã¨ã‚ã¦å®Ÿè¡Œã™ã‚‹ãŸã‚ã®ãƒ•ãƒ¬ãƒ¼ãƒ ワークã§ã§ãã¦ãŠã‚Šã€ä»Šå›žå…¬é–‹ã•ã‚ŒãŸã‚¢ãƒ—リケーションã«ã¯ã‚»ã‚ュリティã«é–¢ã™ã‚‹ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°è¦ç´„「SEI CERT Coding Standardsã€ãŠã‚ˆã³SQLインジェクションã€ã‚¯ãƒã‚¹ã‚µã‚¤ãƒˆã‚¹ã‚¯ãƒªãƒ—ティングã€ãƒãƒƒãƒ•ã‚¡ã‚ªãƒ¼ãƒãƒ¼ãƒ•ãƒãƒ¼ãªã©å¤šãã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®è„†å¼±æ€§ã‚’体系的ã«ä¸€è¦§åŒ–ã—ãŸã€ŒCWE（Common Weakness Enumeration）ã€ï¼ˆå…±é€šè„†å¼±æ€§ã‚¿ã‚¤ãƒ—一覧）ã®2ã¤ã‚’ベースã«ã—ãŸãƒ„ールãŒå«ã¾ã‚Œã¦ã„ã¾ã™ã€‚ SEI CERT Coding Standardsã¯ç¾åœ¨ã€C/
Linuxカーãƒãƒ«ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’機能ã¨ãƒ¬ã‚¤ãƒ¤ãƒ¼ã§åˆ†é¡žã—ã¦è¡¨ç¤ºã—ã¦ãれる「Linux kernel mapã€
DroidKaigi アプリã®å†…部を見る
Open-sourcing Facebook Infer: Identify bugs before you ship
Open-sourcing RacerD: Fast static race detection at scale
Pythonã«å’¬ã¾ã‚Œã‚‹ãª : 注æ„ã™ã¹ãã‚»ã‚ュリティリスクã®ãƒªã‚¹ãƒˆ | POSTD
{{#tags}}- {{label}}
{{/tags}}