
semantic_firewall
Generate deterministic semantic fingerprints for Go functions. Detect xz-style backdoors and verify semantic equivalence using Static Single…

Generate deterministic semantic fingerprints for Go functions. Detect xz-style backdoors and verify semantic equivalence using Static Single…

AI 기반 악성 코드 탐지 및 난독화 시스템으로, 탐지, 패킹, 코드 혼동을 위한 마이크로서비스와 사용자 및 관리자 서비스를 갖추고 있습니다.

바이너리 또는 앱 번들을 처음 살펴보기: 증거와 함께 실행 없이 수행하는 정적 분석. CLI, 15개 도구 MCP 서버 및 로컬 웹 UI, Node만 사용.

LLM 에이전트를 위한 엔드투엔드 보안 감사 프레임워크: 정적 AST 및 테인트 모델링, 공격 합성, Docker 샌드박스 재현, MCP 감사를 포함한 결정론적 판정 보고.

소스 코드, 웹 URL, CI/CD 전반에 걸쳐 170개 이상의 규칙으로 자격 증명과 비밀을 찾아내고, 벤더 API에 대해 검증하며, SARIF, JSONL, HTML, PDF 또는 Excel 보고서를 생성합니다.

AI 기반 보안 작업을 전문 에이전트, Kali 런타임, 지속적 오케스트레이션으로 수행합니다.

React Native 앱의 Hermes 바이트코드(HBC)를 검사, 디컴파일하고 구조적으로 패치하며, GDB 스타일 REPL, CFG, 디컴파일러 및 재직렬화 패처를 제공합니다.

AArch64 및 x86_64 기계어 코드를 LLVM IR로 리프팅하여 계측, 디오브푸스케이션, 런타임 복구를 지원하는 LLVM 네이티브 바이너리 분석 및 에뮬레이션 플랫폼입니다.

IDA Pro와 Ghidra용 TCP JSON 브리지 서버로, 디컴파일, 상호 참조, 심볼, 가상 함수 테이블(vtable), RTTI 및 메모리 패칭을 외부 스크립트와 자동화 파이프라인에 노출합니다.

Free offline SAST engine for CI/CD: AST and cross-file taint analysis, secret detection with live validation, SCA/CVE, IaC misconfiguration, and…

소스 코드를 파싱하고 HAR 트래픽을 재생하여 비즈니스 로직 결함, BOLA, 경쟁 조건, 권한 문제를 로컬 LLM 트리아지로 탐지하는 오프라인 SAST/DAST 트리아지 엔진.

goron을 기반으로 한 또 다른 llvm 기반 난독화 도구입니다.

등록된 오픈소스 저장소를 격리된 오프라인 VM에서 빌드하고 보안 취약점을 스캔하여 재현기와 제안된 패치와 함께 결과를 이메일로 전송하는 서비스입니다.

Go 툴체인을 래핑하여 Go 빌드를 난독화하고, 식별자, 패키지 경로, 위치 데이터를 해시로 대체하며 디버그 및 빌드 정보를 제거합니다.

AES-256 문자열 암호화와 런타임 복호화, 식별자 이름 변경, 주석 제거를 통해 Go 소스 코드를 난독화하여 런타임 동작은 유지하면서 리버스 엔지니어링을 방해합니다.

코드 난독화 해제 프레임워크로, 혼합 불리언-산술(MBA) 표현식을 단순화합니다

비전-언어 웹 에이전트에 대한 적대적 이미지 공격: 시각적 그라운딩부터 브라우저 실행까지

ACE .qvm0로 보호된 PE 이미지를 위한 정적 분석 및 구조 복구 툴킷