** 유지자 **: n0tepad ** 창고 **: n0tepad-pro/Code 감사 기술

나는…

배경

큰 모형 기술은 급속하게 진화하고 CTF와 부호 감사를 가진 일의 전통적인 방법을 변화합니다. 현재 모델 ’ 소스 코드를 이해하는 능력은 잘 설치되고 많은 팀은 CTF 솔루션, 웹 코드 감사 및 갭 절단 공정으로 LLM을 도입했습니다.

그러나 연습의 명확한 간격이 있습니다. ** 그것은 “skill + 모델에 코드를 던지는 것은 충분하지 않습니다.” **

일반적인 문제는:

1. ** 컨텍스트는 inadequate**: 경로, 호출 체인, 구성, 실제 프로젝트의 필터 논리는 대화에서 전체에서 표시 할 수 없습니다.
2. **Aggravated ** : 정적 규칙 또는 모델은 "허브 기능"에만 초점을 맞추고 경로의 가용성을 무시하고 매개 변수의 사전 필링 및 제어의 유효성.
3. ** verifiable 결론의 부족 **: 감사 보고서에서 "SQL 주입의 가능한 존재"는 PC "의 안정되어 있는 가용성과 다릅니다. CTF와 실제 전쟁은 후자의 필요.

따라서 프로젝트는 조합 경로를 탐구 ** “클래식 감사 방법론 + 규칙 엔진 + 호출 체인 + LLM 기술”: 첫 번째 좁은 아래, 그 다음 정밀, 최종 출력을 확인 ** 정말 유용 PoC.

나는…

핵심 사고

당신은 무엇을하고 있습니까? 인포메이션 | 인포메이션 | 인포메이션 1. Route chart | HTTP 라우터, 컨트롤러, 핸들러에 대한 의심스러운 경로 후보자, 관계 항목 ** 싱크 포함 . 규칙 스캔 PHP with Semgrep + Psalm; Java/Python/Go/C/C++ with CodeQL | 경고 포인트 + 규칙 ID+ 소스 위치 | |3. 체인 분석 결합된 호출 사슬 결심: 경로가 접근 할 수 있는지, 필터는 우회, 수채가 제어된다 | 높은 믿음 ‘확인’ 루프홀 |4. LLM Skill** | 핸즈 ** 아래 체인 + 규칙 히팅 + 스킬 템플릿** 모델에 대한 설명과 실행 가능한 페이로드 / 스크립트 생성| 5. PoC 인증 vuln 예제 또는 범위 환경에서의 재발견, 가용성 확인 ** misreporting / elimination의 검증 |

** 디자인 원칙**: 규칙은 책임있는 **Recall (seeps) **, 링크는 책임 ** 정밀 (스크린 가능) **, Skill + PoC는 책임 **확인 (보호 가능) **.

나는…

기술 프로그램

이 창고는 언어의 다른 정적 분석 기지를 선택합니다. CodeQL는 공식적으로 PHP를 지원하지 않습니다. PHP는 다른 언어와 결합되지 않습니다.

Language 정적 분석 프로그램 | | | | | | | | | | | | | | | | | | | | | | | | | |