토픽 · symbolic-execution
symbolic-execution
symbolic-execution 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
13
총 스타
26,492
평균 스타
2,038
비중
0.00%
관련 토픽
같은 리포지토리에 symbolic-execution 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 symbolic-execution 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1
Triton은 동적 바이너리 분석 라이브러리입니다. 자신만의 프로그램 분석 도구를 구축하고, 리버스 엔지니어링을 자동화하며, 소프트웨어 검증을 수행하거나 코드를 에뮬레이트하세요.
★ 4,281+6최근 7일 스타 변화 - #2
Mythril은 EVM 바이트코드를 위한 기호 실행(symbolic-execution) 기반 보안 분석 도구입니다. 이더리움 및 기타 EVM 호환 블록체인을 위해 빌드된 스마트 계약의 보안 취약점을 탐지합니다.
★ 4,265-1최근 7일 스타 변화 - #3★ 3,947+3최근 7일 스타 변화
- #4★ 2,975+1최근 7일 스타 변화
- #5★ 2,254+0최근 7일 스타 변화
- #6★ 1,627+0최근 7일 스타 변화
- #7
필수 연구 논문, 강연, 동영상, 도구를 포함하는 유용한 심볼릭 실행(symbolic execution) 리소스 모음입니다.
★ 1,497+0최근 7일 스타 변화 - #8★ 1,319+0최근 7일 스타 변화
- #9★ 1,163+2최근 7일 스타 변화
- #10★ 1,090+0최근 7일 스타 변화
- #11★ 862+0최근 7일 스타 변화
- #12
Ghidra에서 angr를 사용하기 위한 도구입니다.
★ 624-1최근 7일 스타 변화 - #13★ 588+1최근 7일 스타 변화
