[B! é™çš„è§£æž] igrepã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

igrep id:igrep

é™çš„è§£æžã«é–¢ã™ã‚‹igrepã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (38)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ESLint ã® Suggestions ã‹ã‚‰å¦ã¶ã€ã‚³ãƒ¼ãƒ‰ã®è‡ªå‹•ä¿®æ£ã®å¥¥æ·±ã• - mizdra's blog
ã“ã‚Œã¯ã€ã¯ã¦ãª ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã‚¢ãƒ‰ãƒ™ãƒ³ãƒˆã‚«ãƒ¬ãƒ³ãƒ€ãƒ¼2023 4æ—¥ç›®ã®è¨˜äº‹ã§ã™ã€‚ 3æ—¥ç›®ã¯ id:mechairoi ã•ã‚“ã®ã€ŒSQLiteã§Linderaã‚’ä½¿ã£ãŸæ—¥æœ¬èªžå…¨æ–‡æ¤œç´¢ã€ã§ã—ãŸã€‚ blog.chairoi.me ä»Šæ—¥ã®ãƒ†ãƒ¼ãƒžã¯ã€JavaScript å‘ã‘ã® Linter ã€ŒESLintã€ã«ã¤ã„ã¦ã§ã™ã€‚ESLint ã‚’ä½¿ã†ã¨ã€JavaScript ã§æ›¸ã‹ã‚ŒãŸã‚³ãƒ¼ãƒ‰ã‚’é™çš„è§£æžã—ã¦ã€ã‚ˆãã‚ã‚‹é–“é•ã„ã‚’æ¤œå‡ºã—ãŸã‚Šã€ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã‚¹ã‚¿ã‚¤ãƒ«ã‚’çµ±ä¸€ã§ãã¾ã™ã€‚ é€šå¸¸ã€ESLint ã®ãƒ«ãƒ¼ãƒ«ã«ã‚ˆã£ã¦å ±å‘Šã•ã‚ŒãŸå•é¡Œ (error ã‚„ warn) ã¯äººãŒæ‰‹ã§ä¿®æ£ã—ã¾ã™ã€‚ãŸã ã—ã€ãƒ«ãƒ¼ãƒ«ãŒå ±å‘Šã™ã‚‹å•é¡Œã®ä¸ã«ã¯ã€Œfixableã€ãªæ€§è³ªã‚’æŒã£ãŸã‚‚ã®ãŒã‚ã‚Šã¾ã™ã€‚ã“ã†ã—ãŸ fixable ãªå•é¡Œã¯ã€eslint --fix ã§è‡ªå‹•ä¿®æ£ã§ãã¾ã™ã€‚ä¾‹ãˆã°ã€object-shorthand ãƒ«ãƒ¼ãƒ«ã«ã‚ˆã£ã¦å ±å‘Šã•ã‚ŒãŸå•é¡Œã¯ã€ä»¥ä¸‹ã®ã‚ˆã†
igrep 2023/12/04
lint

é™çš„è§£æž
ãƒªãƒ³ã‚¯
Crux
igrep 2023/12/03
rust

é™çš„è§£æž
ãƒªãƒ³ã‚¯
ãƒ›ãƒ¼ãƒ - CloneTracker
ã‚³ãƒ”ãƒšã‚³ãƒ¼ãƒ‰ã« æ‚©ã¾ã•ã‚Œã¦ããŸé–‹ç™ºç’°å¢ƒã¸ ã‚¹ãƒžãƒ¼ãƒˆãªã‚³ãƒ¼ãƒ‰ç®¡ç†ã‚’å®Ÿç¾ CloneTracker ã¯ã€â¾¼é€Ÿã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºã®æ ªå¼ä¼šç¤¾ãƒ•ã‚£ãƒƒã‚¯ã‚¹ã‚¿ãƒ¼ã‚ºï¼ˆæ±è¨¼ãƒ—ãƒ©ã‚¤ãƒ 3687ï¼‰ã®é–‹ç™ºç¾å ´ã‹ã‚‰â½£ã¾ã‚Œã¾ã—ãŸã€‚ CloneTrackerã®å°Žâ¼Šã§ã€ãƒã‚°ã®æ¸©åºŠã«ãªã‚‹ã‚³ãƒ”ãƒšã‚³ãƒ¼ãƒ‰æ¤œå‡ºã‚‚ãƒªãƒ•ã‚¡ã‚¯ã‚¿ãƒªãƒ³ã‚°ã®åŠ¹çŽ‡åŒ–ã‚‚å®Ÿç¾ CloneTrackerã¯ã€ã‚³ãƒ”ãƒšã‚³ãƒ¼ãƒ‰ã‚’å˜ã«æ¤œå‡ºã™ã‚‹ã ã‘ã§ã¯ãªãã€éŽåŽ»ãƒ»ç¾åœ¨ãƒ»æœªæ¥ã«ã‚ãŸã£ã¦ã‚³ãƒ”ãƒšã‚³ãƒ¼ãƒ‰ã‚’ç®¡ç†ã™ã‚‹ã“ã¨ã§ã€ã‚·ã‚¹ãƒ†ãƒ ã®ä¿å®ˆæ€§ã‚’â¼¤å¹…ã«å‘ä¸Šã™ã‚‹ã‚¢ãƒ—ãƒªã§ã™ã€‚ å®Ÿâ¾ã¯ãƒ¦ãƒ¼ã‚¶â¾ƒâ¾ã®ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã§â¾ã‚ã‚Œã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’å¤–éƒ¨ã«é€ä¿¡ã™ã‚‹ã“ã¨ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚
igrep 2023/11/26
é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - ast-grep/ast-grep: âš¡A CLI tool for code structural search, lint and rewriting. Written in Rust
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2023/02/26
ã™ã”ã„ãªã

æ¤œç´¢

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - kaist-plrg/jstar: JSTAR: JavaScript Specification Type Analyzer using Refinement
igrep 2023/01/21
JavaScript

åž‹

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - codemix/deprank: Use PageRank to find the most important files in your codebase.
Deprank uses the PageRank algorithm to find the most important files in your JavaScript or TypeScript codebase. It uses dependency-cruiser to build a dependency graph of your source files, then ranks those dependencies based on their importance. We define importance as those files which are directly or indirectly depended upon the most by other files in the codebase. Deprank is particularly useful
igrep 2022/07/06
â€œDeprank uses the PageRank algorithm to find the most important files in your JavaScript or TypeScript codebase.â€

typescript

javascript

é™çš„è§£æž
ãƒªãƒ³ã‚¯
ä¾å˜é–¢ä¿‚ã¨éšŽå±¤æ§‹é€ ã®è»› - ãƒ¢ãƒŠãƒ‰ã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
21ä¸–ç´€ç¾åœ¨ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ãŠã„ã¦ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¨ã„ã†æ©Ÿèƒ½ã¯ã»ã¼å¿…è¦ä¸å¯æ¬ ã§ã‚ã‚‹ã€‚ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’åˆ†å‰²ã—ã€æ˜Žç¤ºçš„ãªä¾å˜é–¢ä¿‚ã‚’æŒ‡å®šã™ã‚‹ä»•çµ„ã¿ã§ã‚ã‚‹ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ãªæ§˜ã€…ãªæ©æµã‚’ã‚‚ãŸã‚‰ã™ã€‚ ã‚¤ãƒ³ã‚¯ãƒªãƒ¡ãƒ³ã‚¿ãƒ«ãƒ“ãƒ«ãƒ‰: ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã”ã¨ã«ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«çµæžœã‚’ä¿å˜ã—ã€å¤‰æ›´ã•ã‚Œã¦ã„ãªã„éƒ¨åˆ†ã‚’å†ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã™ã‚‹ã®ã‚’é˜²ãã€‚ å†…éƒ¨ã®éš è”½: å®Ÿè£…ã®è©³ç´°ã‚’éš è”½ã—ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«å¤–ã‹ã‚‰è§¦ã‚Œãªã„ã‚ˆã†ã«ã™ã‚‹ã€‚ãƒ—ãƒã‚°ãƒ©ãƒ ã®è¦‹é€šã—ã‚’ã‚ˆãã—ãŸã‚Šã€ä¸æ£ãªæ“ä½œã‚’ã™ã‚‹æ©Ÿä¼šã‚’æ¸›ã‚‰ã™ã€‚ ã‚¢ãƒ¼ã‚ãƒ†ã‚¯ãƒãƒ£ã®æ•´ç†: ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¯ä»–ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’å‚ç…§ã§ãã‚‹ãŒã€åŽŸå‰‡ã¨ã—ã¦ç›¸äº’å‚ç…§ã¯ã—ãªã„ã€‚ä¾å˜ã®å‘ãã‚’å®šã‚ã‚‹ã“ã¨ã§ã€é©åˆ‡ãªæŠ½è±¡åŒ–ã¨ã€ ãã‚Œã«åŸºã¥ã„ãŸå®Ÿè£…ã®åˆ†é›¢ã‚’ä¿ƒã™ã€‚ ã•ã¦ã€ã„ãã‚‰ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ãŒä¾¿åˆ©ã¨è¨€ãˆã©ã€æ•°ãŒå¢—ãˆã™ãŽã‚‹ã¨ã•ã™ãŒã«æ‰±ã„ã«ãã„*1ã€‚ãã®ãŸã‚ã€ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªã®æ§‹é€ ã‚’ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®éšŽå±¤æ§‹é€ ã¨ã—ã¦é‹ç”¨ã™ã‚‹ä»•çµ„ã¿ãŒå‚™ã‚ã£ã¦ã„ã‚‹ã“ã¨ãŒå¤šã„ã€‚ ã‚³ãƒ³ãƒ‘
igrep 2022/05/09
ç´ æ™´ã‚‰ã—ã„ â€œãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªåŒå£«ã®ä¾å˜é–¢ä¿‚ã«ç€ç›®ã—ã¦è€ƒãˆã¦ã¿ã‚ˆã†ã€‚Foo.Bar.A.BãŒFoo.Baz.C.Dã«ä¾å˜ã—ã¦ã„ã‚‹ã¨ãã€ã€ŒBarãŒBazã«ä¾å˜ã—ã¦ã„ã‚‹ã€ã¨ã„ã†æƒ…å ±ã•ãˆæ®‹ã›ã°ã€ãã‚Œã‚ˆã‚Šæ·±ã„éƒ¨åˆ†ã®æƒ…å ±ã¯å‰Šã„ã§ã‚‚æ§‹ã‚ãªã„â€

è¨è¨ˆ

é™çš„è§£æž
ãƒªãƒ³ã‚¯
Introduction | Glean
igrep 2022/01/14
haskell

é™çš„è§£æž
ãƒªãƒ³ã‚¯
Clojureã§å®Ÿè£…ã•ã‚Œã¦ã„ã‚‹é™çš„ã‚³ãƒ¼ãƒ‰è§£æžãƒ„ãƒ¼ãƒ«CodeSceneã§Clojureãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚’åˆ†æžã™ã‚‹ - Qiita
ä»Šå›žã¯ã€ç§ãŒæ¥å‹™ã‚’ã—ã¦ã„ã‚‹ä¸ã§å‡ºä¼šã£ãŸã€Clojureã‚’ç”¨ã„ã¦å®Ÿè£…ã•ã‚Œã¦ã„ã‚‹é™çš„ã‚³ãƒ¼ãƒ‰è§£æžã‚µãƒ¼ãƒ“ã‚¹ã€CodeSceneã«ã¤ã„ã¦ã”ç´¹ä»‹ã—ã¾ã™ã€‚æ¥å‹™ã§Clojureã‚’æŽ¡ç”¨ã™ã‚‹éš›ã®èª¬å¾—ææ–™ã®ä¸€ã¤ã«ãªã‚Œã°å¹¸ã„ã§ã™ã€‚ã¾ãŸã€Clojureä»¥å¤–ã®è¨€èªžã‚‚å¤šæ•°ã‚µãƒãƒ¼ãƒˆã—ã¦ã„ã‚‹ã®ã§ã€ãã®ä»–ã®è¨€èªžã®ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆç®¡ç†ã«ã‚‚ã‚ªã‚¹ã‚¹ãƒ¡ã§ã™ã€‚ã‚³ãƒŸãƒ¥ãƒ‹ãƒ†ã‚£ã‚¨ãƒ‡ã‚£ã‚·ãƒ§ãƒ³ã¯ã‚ªãƒ¼ãƒ—ãƒ³ã‚½ãƒ¼ã‚¹ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã«ã¯ç„¡æ–™ã§åˆ©ç”¨ã§ãã¾ã™ã€‚ CodeSceneã¯ã‚¹ã‚¦ã‚§ãƒ¼ãƒ‡ãƒ³ã®ä¼æ¥ã§ã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’é™çš„è§£æžã—ã¦ã€ã‚³ãƒ¼ãƒ‰å“è³ªã‚„é–‹ç™ºãƒãƒ¼ãƒ ã®åŠ¹çŽ‡ã€ãƒ¡ãƒ³ãƒãƒ¼ãŒè¾žã‚ãŸã¨ãã®ãƒªã‚¹ã‚¯ãªã©ã‚’è©•ä¾¡ã™ã‚‹ã‚µãƒ¼ãƒ“ã‚¹ã‚’æä¾›ã—ã¦ã„ã¾ã™ã€‚ç¤¾åã¯Crime Sceneï¼ˆäº‹ä»¶ç¾å ´ï¼‰ã‚’ã‚‚ã˜ã£ãŸã‚‚ã®ã§ã€Forensicsï¼ˆçŠ¯ç½ªç§‘å¦ã€é‘‘è˜ï¼‰ã‚’ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã«é©ç”¨ã—ã¦ã„ã‚‹ã“ã¨ã‹ã‚‰æ¥ã¦ã„ã‚‹ã‚‚ã®ã¨æ€ã‚ã‚Œã¾ã™ã€‚ GitHubã‚„BitBucketã§ç®¡ç†ã•ã‚Œã¦ã„ã‚‹ãƒªãƒã‚¸ãƒˆãƒªã‚’ã‚¹ã‚ãƒ£ãƒ³ã—ã€28ã®ãƒ—ãƒã‚°
igrep 2021/12/14
clojure

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - facebookincubator/Glean: System for collecting, deriving and working with facts about source code.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2021/09/12
javascript

é™çš„è§£æž

haskell
ãƒªãƒ³ã‚¯
GitHub Actions ã®ãƒ¯ãƒ¼ã‚¯ãƒ•ãƒãƒ¼ã‚’ãƒã‚§ãƒƒã‚¯ã™ã‚‹ actionlint ã‚’ã¤ãã£ãŸ - ã¯ã‚„ããƒ—ãƒã‚°ãƒ©ãƒ ã«ãªã‚ŠãŸã„
GitHub Actions ã®ãƒ¯ãƒ¼ã‚¯ãƒ•ãƒãƒ¼ã‚’é™çš„ã«ãƒã‚§ãƒƒã‚¯ã™ã‚‹ actionlint ã¨ã„ã†ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³ãƒ„ãƒ¼ãƒ«ã‚’æœ€è¿‘ã¤ãã£ã¦ã„ã¦ï¼Œæ¦‚ãæ¬²ã—ã„æ©Ÿèƒ½ãŒæƒã£ã¦å®Ÿè£…ã‚‚å®‰å®šã—ã¦ããŸã®ã§ç´¹ä»‹ã—ã¾ã™ï¼Ž github.com ãªãœãƒ¯ãƒ¼ã‚¯ãƒ•ãƒãƒ¼ãƒ•ã‚¡ã‚¤ãƒ«ã® lint ã‚’ã™ã¹ããªã®ã‹ GitHub Actions ãŒæ£å¼ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã¦ã‹ã‚‰ã ã„ã¶çµŒã¡ï¼ŒGitHub ä¸Šã§ã® CI ã¯ GitHub Actions ãŒç¬¬ä¸€å€™è£œã¨ãªã£ã¦ãã¦ã„ã‚‹ã‚ˆã†ã«æ„Ÿã˜ã¾ã™ï¼Žåƒ•ã‚‚æ–°è¦ã«ãƒªãƒã‚¸ãƒˆãƒªã‚’ä½œæˆã—ã¦ CI ã‚’ã‚»ãƒƒãƒˆã‚¢ãƒƒãƒ—ã™ã‚‹å ´åˆã¯ã»ã¼ GitHub Actions ã‚’ä½¿ã£ã¦ã„ã¾ã™ï¼Ž ã§ã™ãŒï¼ŒGitHub Actions ã«ã¯ä¸‹è¨˜ã®ã‚ˆã†ãªå•é¡ŒãŒã‚ã‚Šï¼Œactionlint ã§ãã‚Œã‚‰ã‚’è§£æ±ºãƒ»ç·©å’Œã—ãŸã„ã¨ã„ã†ã®ãŒç†ç”±ã§ã™ï¼Ž ãƒ¯ãƒ¼ã‚¯ãƒ•ãƒãƒ¼ã‚’å®Ÿè£…ã™ã‚‹æ™‚ã¯ï¼ŒGitHub ã« push ã—ã¦ CI ãŒå®Ÿè¡Œã•ã‚Œã‚‹ã®ã‚’å¾…ã£ã¦çµæžœã‚’ç¢ºèªã™ã‚‹ã¨ã„ã†
igrep 2021/07/12
ã“ã‚Œã¯ä»Šåº¦GitHub Actionsä½¿ã†ã¨ãæ˜¯éžå°Žå…¥ã—ãŸã„ã€‚

GitHub Actions

é™çš„è§£æž

CI
ãƒªãƒ³ã‚¯
Error Prone
Error Prone Itâ€™s common for even the best programmers to make simple mistakes. And sometimes a refactoring which seems safe can leave behind code which will never do whatâ€™s intended. Weâ€™re used to getting help from the compiler, but it doesnâ€™t do much beyond static type checking. Using Error Prone to augment the compilerâ€™s type analysis, you can catch more mistakes before they cost you time, or en
igrep 2021/03/03
java

Lint

é™çš„è§£æž
ãƒªãƒ³ã‚¯
malliã¨clj-kondoã§å¤‰ã‚ã‚‹(?)Clojureé–‹ç™ºä½“é¨“
ã¾ã malli ã§å®šç¾©ã—ãŸä»•æ§˜ã‚’ã™ã¹ã¦ clj-kondo å´ã§æ‰±ãˆã‚‹ã‚ã‘ã§ã¯ãªã„ã§ã™ã€‚ ãã®ãŸã‚ç¾æ™‚ç‚¹ã§å®Ÿç”¨ã«è€ãˆã†ã‚‹ã‹ã¨ã„ã†ã¨ãã†ã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚ ãŸã ç„¡ã„ã‚ˆã‚Šã¯æœ‰ã£ãŸæ–¹ãŒé–‹ç™ºä½“é¨“ã¯æ”¹å–„ã™ã‚‹ã„ã†ãƒ¬ãƒ™ãƒ«ã§ã™ã€‚ malli ã¨ã¯ metosin/malli ã¯ Clojure/ClojureScript å‘ã‘ã«ãƒ‡ãƒ¼ã‚¿ã«å¯¾ã™ã‚‹ä»•æ§˜ã‚’å®šç¾©ã—ã€ãƒ‡ãƒ¼ã‚¿ãŒãã®ä»•æ§˜ã«æ²¿ã£ã¦ã„ã‚‹ã‹ã‚’ãƒãƒªãƒ‡ãƒ¼ãƒˆã™ã‚‹ãŸã‚ã®æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã§ã™ã€‚ è¿‘ã„ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã¨ã—ã¦ clojure.spec ã‚„ plumatic/schema ãŒã‚ã‚Šã¾ã™ãŒã€malli ãŒç‰¹å¾´çš„ãªã®ã¯ã™ã¹ã¦ã®ä»•æ§˜ã‚’ã€Œãƒ‡ãƒ¼ã‚¿ã€ã¨ã—ã¦å®šç¾©ã§ãã‚‹ç‚¹ã§ã™ã€‚ (require '[malli.core :as m]) (def IntMap ;; key ãŒã‚ãƒ¼ãƒ¯ãƒ¼ãƒ‰ã€ value ãŒæ•´æ•°ã§ã‚ã‚‹ãƒžãƒƒãƒ—ã®å®šç¾© ;; ã‚ãƒ¼ãƒ¯ãƒ¼ãƒ‰ã¨ã‚·ãƒ³ãƒœãƒ«ã‹ã‚‰ãªã‚‹ãŸã ã®ãƒ‡ãƒ¼ã‚¿
igrep 2020/12/25
Clojure

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - kowainik/stan: ðŸ•µï¸ Haskell STatic ANalyser
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2020/06/24
Haskell

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - github/codeql: CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2020/06/10
é™çš„è§£æž

security
ãƒªãƒ³ã‚¯
GitHub - semgrep/semgrep: Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
igrep 2020/05/25
OCaml

æ¤œç´¢

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - trailofbits/siderophile: Find the ideal fuzz targets in a Rust codebase
igrep 2020/02/26
â€œSiderophile finds the "most unsafe" functions in your Rust codebase, so you can fuzz them or refactor them out entirely. It checks the callgraph of each function in the codebase, estimates how many unsafe expressions are called in an evalutation of that functio ...nâ€

rust

é™çš„è§£æž
ãƒªãƒ³ã‚¯
DeepSource: The Code Health Platform
Oops! Something went wrong while submitting the form.
igrep 2019/12/20
ç¶™ç¶šçš„é™çš„è§£æžã‚µãƒ¼ãƒ“ã‚¹ã€‚ä»Šæ—¥å®£ä¼ã®ãƒ¡ãƒ¼ãƒ«ãŒæ¥ãŸ

python

go

é™çš„è§£æž

webã‚µãƒ¼ãƒ“ã‚¹
ãƒªãƒ³ã‚¯
GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs
By Bart Jacobs*, Jan Smans*, and Frank Piessens*, with contributions by Pieter Agten*, Cedric Cuypers*, Lieven Desmet*, Niels Mommen*, Jan Tobias Muehlberg*, Willem Penninckx*, Pieter Philippaerts*, Nima Rahimi Foroushaani*, Amin Timany*, Thomas Van Eyck*, Gijs Vanspauwen*, FrÃ©dÃ©ric Vogels*, and external contributors * imec-DistriNet research group, Department of Computer Science, KU Leuven - Univ
igrep 2019/08/22
C

VeriFast

OCaml

é™çš„è§£æž
ãƒªãƒ³ã‚¯
GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
Crucible is a language-agnostic library for performing forward symbolic execution of imperative programs. It provides a collection of data-structures and APIs for expressing programs as control-flow graphs. Programs expressed as CFGs in this way can be automatically explored by the symbolic execution engine. In addition, new data types and operations can be added to the symbolic simulator by imple
igrep 2019/06/05
haskell

é™çš„è§£æž
ãƒªãƒ³ã‚¯
1 2 æ¬¡ã®ãƒšãƒ¼ã‚¸