동적 분석 도구
멋진 취약성 스캐닝 소프트웨어, 라이브러리 및 프레임 워크, 최고의 지침 및 기술 리소스 및 가장 중요한 동적 응용 프로그램 보안 테스트 (DAST)의 지속 및 선별 된 모음
What is Dynamic Analysis?
동적 분석은 런타임 동안 응용 프로그램의 테스트 및 평가입니다.

동적 분석의 주요 장점 : 정적 분석에 의해 원인이 너무 복잡한 미묘한 결함 또는 취약점을 보여줍니다. 동적 분석은 보안 보증에 중요한 역할을 할 수 있지만 주요 목표는 오류를 찾고 디버깅하는 것입니다.

Table of Contents
프로그래밍 언어
언어를 보여줍니다
- .그물
- 기음
- C ++
- 자바
- 자바 스크립트
- PHP
- 파이썬
- 루비
- 녹
- SQL
- 비주얼 기본
여러 언어
다른
- API
- 바이너리
- 바이트 코드/ir
- 컨테이너
- 라 라벨
- 보안/dast
- 편물
- webassembly
- XML
Programming Languages
.그물
- Microsoft Intellitest - .NET 코드에 대한 후보 테스트 스위트를 생성합니다.
- PEX 및 MOLES - PEX는 자동화 된 화이트 박스 분석을 사용하여 높은 코드 적용 범위를 갖춘 테스트 스위트를 자동으로 생성합니다.
기음
- CHAP-유출, 메모리 성장 및 부패에 대한 비 계정 엘프 핵심 파일을 분석합니다. 메모리 성장을 설명하고 일부 형태의 부패를 식별 할 수 있으며 다양한 메모리 위치의 상태를 제공하여 디버거를 보충합니다.
- KLEE - LLVM 컴파일러 인프라 위에 구축 된 기호 가상 머신.
- LDRA © ️-동적 분석 및 다양한 표준에 대한 테스트를 포함한 툴 스위트는 100% OP 코드, 분기 및 소멸 적용 범위에 대한 테스트 범위를 보장 할 수 있습니다.
- LLVM/Clang 소독제 -
- 주소 사료 - C/C ++의 메모리 오류 검출기
- MemorySanitizer- 초기화되지 않은 메모리 검출기는 C/C ++ 프로그램에서 읽습니다.
- ThreadSanitizer- C/C ++의 데이터 레이스 검출기
- TIS-InterPreter-표준 C에서 작성된 프로그램에서 미묘한 버그를 찾기위한 통역사.
- Valgrind - 동적 분석 도구 구축을위한 계측 프레임 워크.
C ++
- CHAP-유출, 메모리 성장 및 부패에 대한 비 계정 엘프 핵심 파일을 분석합니다. 메모리 성장을 설명하고 일부 형태의 부패를 식별 할 수 있으며 다양한 메모리 위치의 상태를 제공하여 디버거를 보충합니다.
- KLEE - LLVM 컴파일러 인프라 위에 구축 된 기호 가상 머신.
- LDRA © ️-동적 분석 및 다양한 표준에 대한 테스트를 포함한 툴 스위트는 100% OP 코드, 분기 및 소멸 적용 범위에 대한 테스트 범위를 보장 할 수 있습니다.
- LLVM/Clang 소독제 -
- 주소 사료 - C/C ++의 메모리 오류 검출기
- MemorySanitizer- 초기화되지 않은 메모리 검출기는 C/C ++ 프로그램에서 읽습니다.
- ThreadSanitizer- C/C ++의 데이터 레이스 검출기
- TIS-InterPreter-표준 C에서 작성된 프로그램에서 미묘한 버그를 찾기위한 통역사.
- Valgrind - 동적 분석 도구 구축을위한 계측 프레임 워크.
자바
- Java Pathfinder - Java Bytecode 프로그램을위한 확장 가능한 소프트웨어 모델 확인 프레임 워크.
- Parasoft Jtest © Â 슬 - Jtest는 Parasoft가 만든 자동화 된 Java 소프트웨어 테스트 및 정적 분석 제품입니다. 이 제품에는 데이터 흐름 분석 장치 테스트 케이스 생성 및 실행 기술, 정적 분석, 회귀 테스트, 코드 적용 범위 및 런타임 오류 감지 기술이 포함되어 있습니다.
자바 스크립트
- iroh.js - JavaScript의 동적 코드 분석 도구. IROH는 실시간으로 코드 흐름을 기록하고 런타임 정보를 가로 채고 프로그램 동작을 즉시 조작 할 수 있습니다.
- JALANGI2 - JALANGI2는 JavaScript에 대한 동적 분석을 작성하는 데 인기있는 프레임 워크입니다.
PHP
- Enlightn - Laravel 앱의 성능, 보안 및 코드 안정성을 향상시키기위한 권장 사항을 제공하는 Laravel 애플리케이션을위한 정적 및 동적 분석 도구. 120 개의 자동 점검이 포함되어 있습니다.
파이썬
- 크로스 헤어 - 파이썬 계약 테스트를위한 기호 실행 엔진.
- 아이콘-행동 하위 유형을 지원하는 설계 별 라이브러리 설계 라이터 (pyicontract-lint)와 같은 아이콘 계약 라이브러리 주위에 더 넓은 툴링과 스핑크스 플러그인 (Spinx-Icontract)이 있습니다.
- SCALENE-Python 용 고성능, 고정밀 CPU 및 메모리 프로파일러
- 오타 - 파이썬에 대한 런타임 유형 확인 3.
루비
- 봉합사 - 새로운 버전으로 오래된 동작의 결과로 레거시 코드를 리팩터링하는 데 도움이되는 루비 보석.
녹
- 직기 - 녹을위한 동시 순열 테스트 도구. 테스트를 여러 번 실행하여 해당 테스트의 가능한 동시 실행을 순수합니다.
- MIRI-RUST의 중간 수준 중간 표현 통역사로서, 남성이없는 메모리 액세스와 같은 특정 클래스의 정의되지 않은 동작을 감지 할 수 있습니다.
- PUFFIN - Rust를위한 계측 프로파일 러.
- 고정 - 실행, 비동기 및 동시 응용 프로그램에서 일반적인 병목 현상을 신속하게 식별하기위한 시각화를 제공합니다.
SQL
- Whitehat Sentinel Dynamic © ️ - Whitehat 응용 프로그램 보안 플랫폼의 일부. OWASP Top 10을 다루는 동적 응용 프로그램 보안 스캐너.
비주얼 기본
- VB WATCH © ️ - VB6의 프로파일 러, 보호기 및 디버거. 프로파일 러는 성능 및 테스트 범위를 측정합니다. 보호자는 강력한 오류 처리를 구현합니다. 디버거는 실행 파일을 모니터링하는 데 도움이됩니다.
여러 언어
- 코드 펄스-코드 펄스는 OWASP 및 코드 DX (GitHub)의 침투 테스트 활동을위한 무료 실시간 코드 커버리지 도구입니다.
- GCOV - GNU 소스 코드 커버리지 프로그램. GCC의 일부인 코드 커버리지 도구 및 프로파일 링 도구. C, C ++, Fortran을 지원합니다.
다른
API
- SMARTBEAR © ️ - 테스트 자동화 및 성능 테스트 플랫폼
바이너리
- ANGR - UCSB의 플랫폼 비가 적 이진 분석 프레임 워크.
- BOLT - 이진 최적화 및 레이아웃 도구 - 캐시 효율성을 향상시키기 위해 링크의 프로파일 가이드 순열을 사용하여 바이너리의 성능을 최적화하는 데 사용되는 Linux 명령 줄 유틸리티
- Dr. Memory-Dr. Memory는 메모리 관련 프로그래밍 오류 (GitHub)를 식별 할 수있는 메모리 모니터링 도구입니다.
- Dynamorio - 프로그램의 모든 부분에서 코드 변환을 지원하는 런타임 코드 조작 시스템입니다.
- LLVM-Propeller-캐시 효율을 향상시키기위한 프로파일 가이드 핫/콜드 기능 분할. Facebook의 Bolt 대안
- PIN 도구 - 동적 이진 계측 도구 및 분석 도구를 만들기위한 플랫폼.
- TRITON - X86 바이너리에 대한 동적 이진 분석.
바이트 코드/ir
- 수퍼 - SMT 솔버로 llvm ir을 최적화하십시오
컨테이너
- CADVISOR - 실행 컨테이너의 리소스 사용 및 성능 특성을 분석합니다.
라 라벨
- Enlightn - Laravel 앱의 성능, 보안 및 코드 안정성을 향상시키기위한 권장 사항을 제공하는 Laravel 애플리케이션을위한 정적 및 동적 분석 도구. 120 개의 자동 점검이 포함되어 있습니다.
보안/dast
- AppScan Standard © ️ - HCL의 AppScan은 동적 응용 프로그램 보안 테스트 제품군 (이전 IBM)입니다.
- Enlightn - Laravel 앱의 성능, 보안 및 코드 안정성을 향상시키기위한 권장 사항을 제공하는 Laravel 애플리케이션을위한 정적 및 동적 분석 도구. 120 개의 자동 점검이 포함되어 있습니다.
- WebScanner © ️ - WebScanner는 활성 웹 애플리케이션의 포괄적 인 보안 감사를위한 DAST 솔루션입니다.
- Whitehat Sentinel Dynamic © ️ - Whitehat 응용 프로그램 보안 플랫폼의 일부. OWASP Top 10을 다루는 동적 응용 프로그램 보안 스캐너.
- 전체 OWASP / 취약성 스캐너
편물
- SMARTBEAR © ️ - 테스트 자동화 및 성능 테스트 플랫폼
webassembly
- WASABI - Wasabi는 JavaScript로 작성된 WebAssembly에 대한 동적 분석을 작성하는 프레임 워크입니다.
XML
- Whitehat Sentinel Dynamic © ️ - Whitehat 응용 프로그램 보안 플랫폼의 일부. OWASP Top 10을 다루는 동적 응용 프로그램 보안 스캐너.
^ back to top ^
특허
MIT 라이센스 및 CC 라이센스
이 작품은 Creative Commons Adatribution 4.0 International 라이센스에 따라 라이센스가 부여됩니다.
법에 따라 가능한 한 Paul Veillard는이 사업에 대한 모든 저작권 및 관련 또는 이웃의 권리를 포기했습니다.