Fail-Safe CコンパイラRelease 1 - sumiiã®ãƒ–ãƒã‚°
https://www.rcis.aist.go.jp/project/FailSafeC-ja.html 2008å¹´4月11æ—¥ã€ã€ŒRelease 1ã€ã‚’一般公開ã—ã¾ã—ãŸã€‚ https://staff.aist.go.jp/y.oiwa/FailSafeC/ Fail-Safe C ã¯ã€ãƒ¡ãƒ¢ãƒªå®‰å…¨æ€§ã‚’ä¿è¨¼ã™ã‚‹ ANSI C 言語ã®ãƒ•ãƒ«ã‚¹ãƒšãƒƒã‚¯ã®å®Ÿè£…ã§ã™ã€‚ ANSI C 言語ã®ä»•æ§˜ã§å®šã‚られãŸå…¨ã¦ã®ãƒ¡ãƒ¢ãƒªæ“作（ã‚ャストや共用体をå«ã‚€ï¼‰ã«å¯¾ã—ãã®å®‰å…¨æ€§ã‚’ä¿è¨¼ã—ã€å…¨ã¦ã®å±é™ºãªãƒ¡ãƒ¢ãƒªã‚¢ã‚¯ã‚»ã‚¹ã‚’事å‰ã«æ¤œçŸ¥ã—防æ¢ã—ã¾ã™ã€‚
Fail-Safe C: Top Page
Fail-Safe C ã¯ã€ãƒ¡ãƒ¢ãƒªå®‰å…¨æ€§ã‚’ä¿è¨¼ã™ã‚‹ ANSI C 言語ã®ãƒ•ãƒ«ã‚¹ãƒšãƒƒã‚¯ã®å®Ÿè£…ã§ã™ã€‚ ANSI C 言語ã®ä»•æ§˜ã§å®šã‚られãŸå…¨ã¦ã®ãƒ¡ãƒ¢ãƒªæ“作（ã‚ャストや共用体をå«ã‚€ï¼‰ã«å¯¾ã— ãã®å®‰å…¨æ€§ã‚’ä¿è¨¼ã—ã€å…¨ã¦ã®å±é™ºãªãƒ¡ãƒ¢ãƒªã‚¢ã‚¯ã‚»ã‚¹ã‚’事å‰ã«æ¤œçŸ¥ã—防æ¢ã—ã¾ã™ã€‚ Fail-Safe C ã§ã¯ã€ã‚³ãƒ³ãƒ‘イル時や実行時ã®æ§˜ã€…ãªæœ€é©åŒ–手法を組ã¿åˆã‚ã›ã‚‹ ã“ã¨ã§ã€å®Ÿè¡Œæ™‚検査ã®ã‚ªãƒ¼ãƒãƒ¼ãƒ˜ãƒƒãƒ‰ã®å‰Šæ¸›ã‚’è¡Œã£ã¦ã„ã¾ã™ã€‚ã“ã®ã‚³ãƒ³ãƒ‘イラ を用ã„ã‚‹ã“ã¨ã§ãƒ—ãƒã‚°ãƒ©ãƒžã¯ã€æ—¢å˜ã®ãƒ—ãƒã‚°ãƒ©ãƒ を大幅ã«æ›¸ãæ›ãˆãŸã‚Šåˆ¥ã®è¨€ 語ã«ç§»æ¤ã—ãŸã‚Šã™ã‚‹ã“ã¨ãªãã€ãã®ã¾ã¾ãƒ—ãƒã‚°ãƒ©ãƒ を安全ã«å®Ÿè¡Œã™ã‚‹ã“ã¨ãŒã§ ãã¾ã™ã€‚ 詳細ã«ã¤ã„ã¦ã¯æ¬¡ã®æ–‡çŒ®ã‚‚ã”らん下ã•ã„。 Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on P
産ç·ç ” RCIS: Fail-Safe C: 安全ãªC言語コンパイラ
Fail-Safe C ã¨ã¯ Fail-Safe C ã¯ã€å®Œå…¨ãª ANSI-C ã«å¯¾ã™ã‚‹ãƒ¡ãƒ¢ãƒªã®å®‰å…¨æ€§ã‚’ä¿è¨¼ã™ã‚‹å®Ÿè£…ã§ã™ã€‚Fail-Safe C ã¯ã€å®Œå…¨ãª ANSI-C è¦æ ¼ã¸ã®æº–æ‹ (ã‚ャストや共用体をå«ã‚€) を実ç¾ã—ãªãŒã‚‰ã€å®Ÿè¡ŒçŠ¶æ…‹ã®ç ´å£Šã‚„ä¹—ã£å–ã‚Šã«ç¹‹ãŒã‚‹å…¨ã¦ã®å±é™ºãªæ“作を検出ã—防æ¢ã—ã¾ã™ã€‚ã¾ãŸã€Fail-Safe C ã¯ã€æ§˜ã€…ãªã€Œdirty trickã€â€•â€•å¿…ãšã—ã‚‚ ANSI-C ã§åŽ³å¯†ãªæ„味ã§ã¯èªã‚られãªã„ãŒã€åºƒã一般ã®ãƒ—ãƒã‚°ãƒ©ãƒžãŒåˆ©ç”¨ã—ã¦ã„る様々ãªè¨˜è¿°æ‰‹æ³•â€•â€•ã‚’ã€å®‰å…¨æ€§ã‚’壊ã•ãªã„範囲ã§ã‚µãƒãƒ¼ãƒˆã—ã¦ã„ã¾ã™ã€‚ Fail-Safe C ã§ã¯ã€ã‚³ãƒ³ãƒ‘イル時や実行時ã®æ§˜ã€…ãªæœ€é©åŒ–手法を組ã¿åˆã‚ã›ã‚‹ã“ã¨ã§ã€å®Ÿè¡Œæ™‚検査ã®ã‚ªãƒ¼ãƒãƒ¼ãƒ˜ãƒƒãƒ‰ã®å‰Šæ¸›ã‚’è¡Œã£ã¦ã„ã¾ã™ã€‚ã“ã®ã‚³ãƒ³ãƒ‘イラを用ã„ã‚‹ã“ã¨ã§ãƒ—ãƒã‚°ãƒ©ãƒžã¯ã€æ—¢å˜ã®ãƒ—ãƒã‚°ãƒ©ãƒ を大幅ã«æ›¸ãæ›ãˆãŸã‚Šåˆ¥ã®è¨€èªžã«ç§»æ¤ã—ãŸã‚Šã™ã‚‹ã“ã¨ãªãã€ãã®ã¾ã¾ãƒ—ãƒã‚°ãƒ©ãƒ を安全ã«
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}