Lessons from Building Static Analysis Tools at Google | April 2018 | Communications of the ACM
Software bugs cost developers and software companies a great deal of time and money. For example, in 2014, a bug in a widely used SSL implementation (“goto failâ€) caused it to accept invalid SSL certificates,36 and a bug related to date formatting caused a large-scale Twitter outage.23 Such bugs are often statically detectable and are, in fact, obvious upon reading the code or documentation yet st
2018/11/10 コンパイラ勉強会ã«è¡Œã£ã¦ã㟠- mozyã®ã‹ããŠã
コンパイラ勉強会ã¨ã¯ コンパイラã¨ãã®é–¢é€£æŠ€è¡“ã«ã¤ã„ã¦å…±æœ‰ã—å¦ã¶å‹‰å¼·ä¼šã§ã™ã€‚ connpass.com ã¾ã¨ã‚る㨠自分ãŒã¾ã£ãŸã知らãªã‹ã£ãŸã“ã¨ãŒãŸãã•ã‚“ã‚ã£ãŸã®ã§å¦ã³ã«ãªã£ãŸã€‚ã‚‚ã£ã¨ä½Žãƒ¬ã‚¤ãƒ¤ãƒ¼ãªéƒ¨åˆ†ã‚’触ã£ã¦ã„ã‹ãªã„ã¨ã„ã‘ãªã„ã¨æ€ã£ãŸã€‚ ãã—ã¦ã€å‹‰å¼·ä¼šä¸ã«å‡ºã¦ããŸå言ã®é€šã‚Šã€äººç”Ÿã§ä¸€åº¦ãらã„ã¯ã‚³ãƒ³ãƒ‘イラをã¤ãらãã°ã€‚。 Twitterã®ãƒãƒƒã‚·ãƒ¥ã‚¿ã‚°#compiler_study ã§ä¸€éƒ¨å®Ÿæ³ã—ã¦ã„ãŸã®ã§ã€è©³ç´°ã¯ãã¡ã‚‰ã‚’å‚ç…§ã®ã“ã¨ã€‚ 始ã¾ã£ãŸ#compiler_study— mozy (@ok_mozy) November 10, 2018 ã“ã“ã‹ã‚‰ã¯è‡ªåˆ†ç”¨ã®ãƒ¡ãƒ¢(ガンガンçªã£è¾¼ã‚“ã§ãã ã•ã„。。) LLVM Backendã«ã¤ã„㦠LLVM Backend ã®ç´¹ä»‹ from AkiraMaruoka www.slideshare.net LLVM ã£ã¦Low Level Virtual Ma
関数型Scalaã¨ã„ã†å‹‰å¼·ä¼šã§property based testingã«ã¤ã„ã¦è©±ã‚’ã—㟠- xuwei-k's blog
Scalaã®å‹‰å¼·ä¼šã§åŠåˆ†ãらã„Haskellã®è©±ã—ã¦ã™ã„ã¾ã›ã‚“ã§ã—ãŸã€‚ http://xuwei-k.github.io/slides/scalaprops/ http://connpass.com/event/16052/ http://togetter.com/li/852254 資料ã¯ã‚Šãã£ã¦é ‘張りéŽãŽãŸã‚‰ã¨ã¦ã‚‚é•·ããªã‚Šã¾ã—ãŸ(150ページ超ãˆãŸ) 今ã¾ã§ã§ä¸€ç•ªé ‘å¼µã£ãŸã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。ã“ã“åŠå¹´ãらã„ã®æˆæžœã‚’全部詰ã‚込んã æ„Ÿã˜ã§ã™ã€‚ ã‚ã¨ã§è³‡æ–™ã¨ã—ã¦èªã‚“ã§ç†è§£ã—ã¦ã‚‚らã†ã“ã¨å‰æã§è‰²ã€…è©°ã‚込んã ã®ã§ã€1年後ã§ã‚‚2年後ã§ã‚‚ã€èˆˆå‘³ã®ã‚る人ãŒè¦‹ã¦æœ‰ç”¨ãªè³‡æ–™ã«ãªã‚Œã°ã„ã„ã§ã™ã・・・。 ã¨ã“ã‚ã§ã€ã‚¹ãƒ©ã‚¤ãƒ‰ä½œã‚‹ã®ã«ã€ä»Šå›žã‹ã‚‰ remark ã¨ã„ã†ã‚„ã¤ä½¿ã„ã¾ã—㟠https://github.com/gnab/remark markdownã§æ›¸ã‘㦠コードã®ã‚·ãƒ³ã‚¿ãƒƒã‚¯ã‚¹ãƒã‚¤ãƒ©ã‚¤ãƒˆåŠ¹ã„㦠ページ数表示ã¨
シンボリック実行ã«å…¥é–€ã—よã†ã¨ã—㟠| 一生ã‚ã¨ã§èªã‚“ã§ã‚
ã¯ã˜ã‚ã«ã‚·ãƒ³ãƒœãƒªãƒƒã‚¯å®Ÿè¡Œ(symbolic execution)ã¨ã„ã†ç”¨èªžã‚’ã‚»ã‚ュリティ系ã®è«–æ–‡ã§ã‚ˆã見ã‹ã‘るよã†ã«ãªã£ãŸï¼Žã“ã“ã§ã¯ï¼Œã‚·ãƒ³ãƒœãƒªãƒƒã‚¯å®Ÿè¡Œã®åŸºç¤Žã¨ãªã‚‹ç†è«–を辿る．ç†è€…ã¯ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ†ã‚¹ãƒˆã®ç ”究ã«ã¯ç–Žã，ãŠãらã本稿ã«ã¯è‹¥å¹²ä»¥ä¸Šã®èª¤è¬¬ã¨èª¤è§£ãŒå«ã¾ã‚Œã¦ã„ã‚‹ã ã‚ã†ï¼Žãœã²è˜è€…ã®æ•™ç¤ºã‚’乞ã„ãŸã„． 発祥シンボリック実行ã¯ä¸»ã«ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ†ã‚¹ãƒˆã®é ˜åŸŸã§å¤ãã‹ã‚‰ç ”究ã•ã‚Œã¦ããŸãƒˆãƒ”ックã§ã‚る．シンボリック実行ã¨ã„ã†ç”¨èªžã®åˆå‡ºã¯é¡ã‚‹ã“ã¨38å¹´å‰ï¼ŒJames C. Kingらã«ã‚ˆã‚‹Symbolic Execution and Program Testing [PDF]ã¨ã„ã†è«–æ–‡ã ．DijkstraãŒgotoæ–‡ã®æ¿«ç”¨ã«ã‚ˆã‚‹å¤§åŸŸè„±å‡ºã‚’批判ã—ãŸã®ãŒ1968å¹´ã§ã‚り，Guarded Command Languageã‚’æ案ã—ãŸã®ãŒ1975å¹´ã®ã“ã¨ã§ã‚る．ã“ã®è«–æ–‡ãŒç™ºè¡¨ã•ã‚ŒãŸ1976年当時ã¯ã¾ã•ã«æ§‹é€ 化プãƒã‚°ãƒ©
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GA-based multiple paths test data generator
f084-godefroid.dvi
パスワードèªè¨¼
{{#tags}}- {{label}}
{{/tags}}