survey-symbolic-execution

(★ 84)

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

survey-symbolic-execution 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

Ventoy ★ 78,751

새로운 부팅 가능 USB 솔루션.

C
TypeScript ★ 110,183

TypeScript는 깔끔한 JavaScript 출력 코드로 컴파일되는 JavaScript의 상위 집합입니다.

TypeScript
skills ★ 219,156

진짜 엔지니어들을 위한 스킬. 제 `.agents` 디렉토리에서 바로 가져왔습니다.

Shell
awesome-design-md ★ 108,753

인기 브랜드 디자인 시스템을 분석한 DESIGN.md 파일 모음입니다. 프로젝트에 파일을 추가하면 코딩 에이전트가 그에 맞는 UI를 생성해 줍니다.
javascript-algorithms ★ 196,492

📝 JavaScript로 구현한 알고리즘과 자료 구조 모음으로, 상세한 설명과 추가 읽기 자료 링크를 제공합니다.

JavaScript
Deep-Live-Cam ★ 95,973

단 한 장의 이미지로 실시간 얼굴 스와프와 원클릭 비디오 딥페이크를 구현합니다.

Python
// repository documentation