Workspace IndexDev Notes › Static analysis — Slither and Semgrep read the code you skimmed

#186PoC

Static analysis — Slither and Semgrep read the code you skimmed

Static analyzers like Slither (Solidity) and Semgrep (general) flag known-bad patterns before deployment, cheap and fast but drowning in false positives that only judgment filters.

Not yet scoped.

Why

The PoC runs Slither and Semgrep on a deliberately buggy contract and triages the output, treating the true-positive rate and noise as the honest measure of the tool.

How it works

Not yet built.

← All Dev Notes · Workspace Index · Top ↑

정적 분석 — Slither와 Semgrep은 훑고 지나간 코드를 읽는다

Slither(Solidity)와 Semgrep(범용) 같은 정적 분석기는 배포 전에 알려진 나쁜 패턴을 표시하며, 싸고 빠르지만 판단만이 걸러내는 거짓양성에 잠깁니다.

아직 범위 미정.

이 PoC는 의도적으로 버그가 있는 컨트랙트에 Slither와 Semgrep을 돌려 출력을 분류하며, 진양성률과 잡음을 도구의 정직한 척도로 다룹니다.

동작 방식

아직 만들지 않음.

← 전체 개발 노트 · 워크스페이스 인덱스 · 맨 위 ↑