René's URL Explorer Experiment

Title: program-analysis · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: github.com

route-pattern	/topics/:topic_name(.:format)
route-controller	topics
route-action	show
fetch-nonce	v2:c51108ea-f0d1-0a79-811b-f3499c3e6ad7
current-catalog-service-hash	82c569b93da5c18ed649ebd4c2c79437db4611a6a1373e805a3cb001c64130b7
request-id	C8A4:25AC7:35E79CC:4A7F3AC:696503DB
html-safe-nonce	367c852c3806ca72647abb760173c8d4f726302d0b8a1af3bf02a8223b1c7f5a
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDOEE0OjI1QUM3OjM1RTc5Q0M6NEE3RjNBQzo2OTY1MDNEQiIsInZpc2l0b3JfaWQiOiI2NTY5ODUzMDExNjQxMDQxODgzIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac	334e2f4496c42b06aed406fac65f3af1b13d5cdac55f6926f5eabdd49fc1053d
github-keyboard-shortcuts	copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/topics/program-analysis
og:site_name	GitHub
og:image	https://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:type	image/png
og:image:width	1200
og:image:height	620
twitter:site:id	13334762
twitter:creator	github
twitter:creator:id	13334762
twitter:card	summary_large_image
twitter:image	https://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width	1200
twitter:image:height	1200
hostname	github.com
expected-hostname	github.com
None	5ab78b37645aad755632aa5585d27672721953ada88ee2fd72e109792b528c77
turbo-cache-control	no-preview
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	ad8012c2b69c74234a24730a05d4683cea54801a
ui-target	canary-1
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://github.com/topics/program-analysis#start-of-content
	https://github.com/
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fprogram-analysis
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fprogram-analysis
Sign up	https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fprogram-analysis&source=header
Reload	https://github.com/topics/program-analysis
Reload	https://github.com/topics/program-analysis
Reload	https://github.com/topics/program-analysis
Explore	https://github.com/explore
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Events	https://github.com/events
GitHub Sponsors	https://github.com/sponsors/explore
Star	https://github.com/login?return_to=%2Ftopic.program-analysis
All 269	https://github.com/topics/program-analysis
Java 56	https://github.com/topics/program-analysis?l=java
Python 54	https://github.com/topics/program-analysis?l=python
C++ 40	https://github.com/topics/program-analysis?l=c%2B%2B
C 23	https://github.com/topics/program-analysis?l=c
OCaml 13	https://github.com/topics/program-analysis?l=ocaml
Rust 7	https://github.com/topics/program-analysis?l=rust
Haskell 6	https://github.com/topics/program-analysis?l=haskell
JavaScript 6	https://github.com/topics/program-analysis?l=javascript
Scala 6	https://github.com/topics/program-analysis?l=scala
TypeScript 5	https://github.com/topics/program-analysis?l=typescript
Most stars	https://github.com/topics/program-analysis?o=desc&s=stars
Fewest stars	https://github.com/topics/program-analysis?o=asc&s=stars
Most forks	https://github.com/topics/program-analysis?o=desc&s=forks
Fewest forks	https://github.com/topics/program-analysis?o=asc&s=forks
Recently updated	https://github.com/topics/program-analysis?o=desc&s=updated
Least recently updated	https://github.com/topics/program-analysis?o=asc&s=updated
	https://github.com/x64dbg/x64dbg
x64dbg	https://github.com/x64dbg
x64dbg	https://github.com/x64dbg/x64dbg
Star 47.5k	https://github.com/login?return_to=%2Fx64dbg%2Fx64dbg
Code	https://github.com/x64dbg/x64dbg
Issues	https://github.com/x64dbg/x64dbg/issues
Pull requests	https://github.com/x64dbg/x64dbg/pulls
Discussions	https://github.com/x64dbg/x64dbg/discussions
windows	https://github.com/topics/windows
debugger	https://github.com/topics/debugger
debugging	https://github.com/topics/debugging
security	https://github.com/topics/security
x64	https://github.com/topics/x64
x86-64	https://github.com/topics/x86-64
reverse-engineering	https://github.com/topics/reverse-engineering
disassembler	https://github.com/topics/disassembler
hacking	https://github.com/topics/hacking
cybersecurity	https://github.com/topics/cybersecurity
x86	https://github.com/topics/x86
dynamic-analysis	https://github.com/topics/dynamic-analysis
ctf	https://github.com/topics/ctf
malware-analysis	https://github.com/topics/malware-analysis
binary-analysis	https://github.com/topics/binary-analysis
program-analysis	https://github.com/topics/program-analysis
offensive-security	https://github.com/topics/offensive-security
security-tools	https://github.com/topics/security-tools
oscp	https://github.com/topics/oscp
exploit-development	https://github.com/topics/exploit-development
	https://github.com/horsicq/Detect-It-Easy
horsicq	https://github.com/horsicq
Detect-It-Easy	https://github.com/horsicq/Detect-It-Easy
Sponsor	https://github.com/sponsors/horsicq
Star 10k	https://github.com/login?return_to=%2Fhorsicq%2FDetect-It-Easy
Code	https://github.com/horsicq/Detect-It-Easy
Issues	https://github.com/horsicq/Detect-It-Easy/issues
Pull requests	https://github.com/horsicq/Detect-It-Easy/pulls
Discussions	https://github.com/horsicq/Detect-It-Easy/discussions
debugger	https://github.com/topics/debugger
detect	https://github.com/topics/detect
packer	https://github.com/topics/packer
entropy	https://github.com/topics/entropy
scanner	https://github.com/topics/scanner
static-analysis	https://github.com/topics/static-analysis
reverse-engineering	https://github.com/topics/reverse-engineering
disassembler	https://github.com/topics/disassembler
detector	https://github.com/topics/detector
mach-o	https://github.com/topics/mach-o
elf	https://github.com/topics/elf
malware-analysis	https://github.com/topics/malware-analysis
binary-analysis	https://github.com/topics/binary-analysis
program-analysis	https://github.com/topics/program-analysis
macho	https://github.com/topics/macho
malware-research	https://github.com/topics/malware-research
pentest	https://github.com/topics/pentest
hacktoberfest	https://github.com/topics/hacktoberfest
unpacker	https://github.com/topics/unpacker
hacktoberfest2023	https://github.com/topics/hacktoberfest2023
facebook	https://github.com/facebook
pyre-check	https://github.com/facebook/pyre-check
Star 7.1k	https://github.com/login?return_to=%2Ffacebook%2Fpyre-check
Code	https://github.com/facebook/pyre-check
Issues	https://github.com/facebook/pyre-check/issues
Pull requests	https://github.com/facebook/pyre-check/pulls
python	https://github.com/topics/python
security	https://github.com/topics/security
typechecker	https://github.com/topics/typechecker
static-analysis	https://github.com/topics/static-analysis
ocaml	https://github.com/topics/ocaml
control-flow-analysis	https://github.com/topics/control-flow-analysis
code-quality	https://github.com/topics/code-quality
program-analysis	https://github.com/topics/program-analysis
taint-analysis	https://github.com/topics/taint-analysis
abstract-interpretation	https://github.com/topics/abstract-interpretation
type-check	https://github.com/topics/type-check
	https://github.com/ConsenSysDiligence/mythril
ConsenSysDiligence	https://github.com/ConsenSysDiligence
mythril	https://github.com/ConsenSysDiligence/mythril
Star 4.2k	https://github.com/login?return_to=%2FConsenSysDiligence%2Fmythril
Code	https://github.com/ConsenSysDiligence/mythril
Issues	https://github.com/ConsenSysDiligence/mythril/issues
Pull requests	https://github.com/ConsenSysDiligence/mythril/pulls
security	https://github.com/topics/security
ethereum	https://github.com/topics/ethereum
smart-contracts	https://github.com/topics/smart-contracts
blockchain	https://github.com/topics/blockchain
symbolic-execution	https://github.com/topics/symbolic-execution
solidity	https://github.com/topics/solidity
program-analysis	https://github.com/topics/program-analysis
security-analysis	https://github.com/topics/security-analysis
JonathanSalwan	https://github.com/JonathanSalwan
Triton	https://github.com/JonathanSalwan/Triton
Star 4k	https://github.com/login?return_to=%2FJonathanSalwan%2FTriton
Code	https://github.com/JonathanSalwan/Triton
Issues	https://github.com/JonathanSalwan/Triton/issues
Pull requests	https://github.com/JonathanSalwan/Triton/pulls
emulator	https://github.com/topics/emulator
reverse-engineering	https://github.com/topics/reverse-engineering
symbolic-execution	https://github.com/topics/symbolic-execution
deobfuscation	https://github.com/topics/deobfuscation
dynamic-analysis	https://github.com/topics/dynamic-analysis
binary-analysis	https://github.com/topics/binary-analysis
instruction-semantics	https://github.com/topics/instruction-semantics
program-analysis	https://github.com/topics/program-analysis
taint-analysis	https://github.com/topics/taint-analysis
lifter	https://github.com/topics/lifter
binary-translation	https://github.com/topics/binary-translation
trailofbits	https://github.com/trailofbits
manticore	https://github.com/trailofbits/manticore
Star 3.8k	https://github.com/login?return_to=%2Ftrailofbits%2Fmanticore
Code	https://github.com/trailofbits/manticore
Issues	https://github.com/trailofbits/manticore/issues
Pull requests	https://github.com/trailofbits/manticore/pulls
Discussions	https://github.com/trailofbits/manticore/discussions
python	https://github.com/topics/python
testing	https://github.com/topics/testing
security	https://github.com/topics/security
emulation	https://github.com/topics/emulation
ethereum	https://github.com/topics/ethereum
blockchain	https://github.com/topics/blockchain
symbolic-execution	https://github.com/topics/symbolic-execution
z3	https://github.com/topics/z3
binary-analysis	https://github.com/topics/binary-analysis
program-analysis	https://github.com/topics/program-analysis
smt	https://github.com/topics/smt
	https://github.com/rizinorg/rizin
rizinorg	https://github.com/rizinorg
rizin	https://github.com/rizinorg/rizin
Sponsor	https://github.com/sponsors/rizinorg
Star 3.3k	https://github.com/login?return_to=%2Frizinorg%2Frizin
Code	https://github.com/rizinorg/rizin
Issues	https://github.com/rizinorg/rizin/issues
Pull requests	https://github.com/rizinorg/rizin/pulls
Discussions	https://github.com/rizinorg/rizin/discussions
debugging	https://github.com/topics/debugging
security	https://github.com/topics/security
reverse-engineering	https://github.com/topics/reverse-engineering
program-analysis	https://github.com/topics/program-analysis
exploitation	https://github.com/topics/exploitation
NASA-SW-VnV	https://github.com/NASA-SW-VnV
ikos	https://github.com/NASA-SW-VnV/ikos
Star 3.1k	https://github.com/login?return_to=%2FNASA-SW-VnV%2Fikos
Code	https://github.com/NASA-SW-VnV/ikos
Issues	https://github.com/NASA-SW-VnV/ikos/issues
Pull requests	https://github.com/NASA-SW-VnV/ikos/pulls
Discussions	https://github.com/NASA-SW-VnV/ikos/discussions
static-analysis	https://github.com/topics/static-analysis
program-analysis	https://github.com/topics/program-analysis
software-verification	https://github.com/topics/software-verification
abstract-interpretation	https://github.com/topics/abstract-interpretation
	https://github.com/horsicq/DIE-engine
horsicq	https://github.com/horsicq
DIE-engine	https://github.com/horsicq/DIE-engine
Sponsor	https://github.com/sponsors/horsicq
Star 2.9k	https://github.com/login?return_to=%2Fhorsicq%2FDIE-engine
Code	https://github.com/horsicq/DIE-engine
Issues	https://github.com/horsicq/DIE-engine/issues
Pull requests	https://github.com/horsicq/DIE-engine/pulls
Discussions	https://github.com/horsicq/DIE-engine/discussions
entropy	https://github.com/topics/entropy
reverse-engineering	https://github.com/topics/reverse-engineering
signature	https://github.com/topics/signature
disassembler	https://github.com/topics/disassembler
elf	https://github.com/topics/elf
binary-analysis	https://github.com/topics/binary-analysis
program-analysis	https://github.com/topics/program-analysis
hacktoberfest	https://github.com/topics/hacktoberfest
yara	https://github.com/topics/yara
unpacker	https://github.com/topics/unpacker
hacktoberfest22	https://github.com/topics/hacktoberfest22
google	https://github.com/google
bindiff	https://github.com/google/bindiff
Star 2.9k	https://github.com/login?return_to=%2Fgoogle%2Fbindiff
Code	https://github.com/google/bindiff
Issues	https://github.com/google/bindiff/issues
Pull requests	https://github.com/google/bindiff/pulls
java	https://github.com/topics/java
c-plus-plus	https://github.com/topics/c-plus-plus
reverse-engineering	https://github.com/topics/reverse-engineering
ida-pro	https://github.com/topics/ida-pro
program-analysis	https://github.com/topics/program-analysis
diffing	https://github.com/topics/diffing
ida-plugin	https://github.com/topics/ida-plugin
bindiff	https://github.com/topics/bindiff
binexport	https://github.com/topics/binexport
program-differencing	https://github.com/topics/program-differencing
vxsig	https://github.com/topics/vxsig
BinaryAnalysisPlatform	https://github.com/BinaryAnalysisPlatform
bap	https://github.com/BinaryAnalysisPlatform/bap
Star 2.2k	https://github.com/login?return_to=%2FBinaryAnalysisPlatform%2Fbap
Code	https://github.com/BinaryAnalysisPlatform/bap
Issues	https://github.com/BinaryAnalysisPlatform/bap/issues
Pull requests	https://github.com/BinaryAnalysisPlatform/bap/pulls
Discussions	https://github.com/BinaryAnalysisPlatform/bap/discussions
emulator	https://github.com/topics/emulator
security	https://github.com/topics/security
arm	https://github.com/topics/arm
mips	https://github.com/topics/mips
static-analysis	https://github.com/topics/static-analysis
ocaml	https://github.com/topics/ocaml
reverse-engineering	https://github.com/topics/reverse-engineering
disassembler	https://github.com/topics/disassembler
symbolic-execution	https://github.com/topics/symbolic-execution
bap	https://github.com/topics/bap
x86	https://github.com/topics/x86
dynamic-analysis	https://github.com/topics/dynamic-analysis
binary-analysis	https://github.com/topics/binary-analysis
instruction-semantics	https://github.com/topics/instruction-semantics
program-analysis	https://github.com/topics/program-analysis
taint-analysis	https://github.com/topics/taint-analysis
powerpc	https://github.com/topics/powerpc
program-verification	https://github.com/topics/program-verification
lifter	https://github.com/topics/lifter
python-security	https://github.com/python-security
pyt	https://github.com/python-security/pyt
Star 2.2k	https://github.com/login?return_to=%2Fpython-security%2Fpyt
Code	https://github.com/python-security/pyt
Issues	https://github.com/python-security/pyt/issues
Pull requests	https://github.com/python-security/pyt/pulls
python	https://github.com/topics/python
flask	https://github.com/topics/flask
security	https://github.com/topics/security
static-code-analysis	https://github.com/topics/static-code-analysis
static-analysis	https://github.com/topics/static-analysis
python3	https://github.com/topics/python3
abstract-syntax	https://github.com/topics/abstract-syntax
control-flow-graph	https://github.com/topics/control-flow-graph
dataflow	https://github.com/topics/dataflow
program-analysis	https://github.com/topics/program-analysis
taint-analysis	https://github.com/topics/taint-analysis
fixed-point	https://github.com/topics/fixed-point
abstract-syntax-tree	https://github.com/topics/abstract-syntax-tree
taint	https://github.com/topics/taint
pyt	https://github.com/topics/pyt
fixed-point-analysis	https://github.com/topics/fixed-point-analysis
dataflow-analysis	https://github.com/topics/dataflow-analysis
jar-analyzer	https://github.com/jar-analyzer
jar-analyzer	https://github.com/jar-analyzer/jar-analyzer
Star 1.9k	https://github.com/login?return_to=%2Fjar-analyzer%2Fjar-analyzer
Code	https://github.com/jar-analyzer/jar-analyzer
Issues	https://github.com/jar-analyzer/jar-analyzer/issues
Pull requests	https://github.com/jar-analyzer/jar-analyzer/pulls
https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk	https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk
bytecode	https://github.com/topics/bytecode
static-analysis	https://github.com/topics/static-analysis
java-decompiler	https://github.com/topics/java-decompiler
jar	https://github.com/topics/jar
java-bytecode	https://github.com/topics/java-bytecode
vulnerability	https://github.com/topics/vulnerability
program-analysis	https://github.com/topics/program-analysis
java-gui	https://github.com/topics/java-gui
java-security	https://github.com/topics/java-security
web-vulnerability	https://github.com/topics/web-vulnerability
java-debugger	https://github.com/topics/java-debugger
java-asm	https://github.com/topics/java-asm
java-vulnerability	https://github.com/topics/java-vulnerability
Tencent	https://github.com/Tencent
CodeAnalysis	https://github.com/Tencent/CodeAnalysis
Star 1.8k	https://github.com/login?return_to=%2FTencent%2FCodeAnalysis
Code	https://github.com/Tencent/CodeAnalysis
Issues	https://github.com/Tencent/CodeAnalysis/issues
Pull requests	https://github.com/Tencent/CodeAnalysis/pulls
Discussions	https://github.com/Tencent/CodeAnalysis/discussions
code-analysis	https://github.com/topics/code-analysis
code-review	https://github.com/topics/code-review
code-quality	https://github.com/topics/code-quality
program-analysis	https://github.com/topics/program-analysis
python37	https://github.com/topics/python37
code-quality-analyzer	https://github.com/topics/code-quality-analyzer
	https://github.com/jplag/JPlag
jplag	https://github.com/jplag
JPlag	https://github.com/jplag/JPlag
Star 1.7k	https://github.com/login?return_to=%2Fjplag%2FJPlag
Code	https://github.com/jplag/JPlag
Issues	https://github.com/jplag/JPlag/issues
Pull requests	https://github.com/jplag/JPlag/pulls
Discussions	https://github.com/jplag/JPlag/discussions
education	https://github.com/topics/education
plagiarism-prevention	https://github.com/topics/plagiarism-prevention
program-analysis	https://github.com/topics/program-analysis
cs-education	https://github.com/topics/cs-education
plagiarism	https://github.com/topics/plagiarism
moss	https://github.com/topics/moss
online-learning	https://github.com/topics/online-learning
plagiarism-checker	https://github.com/topics/plagiarism-checker
plagiarism-detection	https://github.com/topics/plagiarism-detection
plagiarism-checking	https://github.com/topics/plagiarism-checking
source-code-analysis	https://github.com/topics/source-code-analysis
code-similarity	https://github.com/topics/code-similarity
plagiarism-detector	https://github.com/topics/plagiarism-detector
academic-dishonesty	https://github.com/topics/academic-dishonesty
plagiarism-check	https://github.com/topics/plagiarism-check
source-code-plagiarism	https://github.com/topics/source-code-plagiarism
programming-education	https://github.com/topics/programming-education
collusion-detection	https://github.com/topics/collusion-detection
software-plagiarism	https://github.com/topics/software-plagiarism
JonathanSalwan	https://github.com/JonathanSalwan
VMProtect-devirtualization	https://github.com/JonathanSalwan/VMProtect-devirtualization
Star 1.4k	https://github.com/login?return_to=%2FJonathanSalwan%2FVMProtect-devirtualization
Code	https://github.com/JonathanSalwan/VMProtect-devirtualization
Issues	https://github.com/JonathanSalwan/VMProtect-devirtualization/issues
Pull requests	https://github.com/JonathanSalwan/VMProtect-devirtualization/pulls
symbolic-execution	https://github.com/topics/symbolic-execution
deobfuscation	https://github.com/topics/deobfuscation
program-analysis	https://github.com/topics/program-analysis
llvm-ir	https://github.com/topics/llvm-ir
vmprotect	https://github.com/topics/vmprotect
fkie-cad	https://github.com/fkie-cad
cwe_checker	https://github.com/fkie-cad/cwe_checker
Star 1.3k	https://github.com/login?return_to=%2Ffkie-cad%2Fcwe_checker
Code	https://github.com/fkie-cad/cwe_checker
Issues	https://github.com/fkie-cad/cwe_checker/issues
Pull requests	https://github.com/fkie-cad/cwe_checker/pulls
Discussions	https://github.com/fkie-cad/cwe_checker/discussions
security	https://github.com/topics/security
reverse-engineering	https://github.com/topics/reverse-engineering
static-analyzer	https://github.com/topics/static-analyzer
binary-analysis	https://github.com/topics/binary-analysis
program-analysis	https://github.com/topics/program-analysis
security-scanner	https://github.com/topics/security-scanner
cwe	https://github.com/topics/cwe
vulnerability-scanner	https://github.com/topics/vulnerability-scanner
ghidra	https://github.com/topics/ghidra
cwe-checker	https://github.com/topics/cwe-checker
pascal-lab	https://github.com/pascal-lab
Tai-e-assignments	https://github.com/pascal-lab/Tai-e-assignments
Star 1.2k	https://github.com/login?return_to=%2Fpascal-lab%2FTai-e-assignments
Code	https://github.com/pascal-lab/Tai-e-assignments
Issues	https://github.com/pascal-lab/Tai-e-assignments/issues
Pull requests	https://github.com/pascal-lab/Tai-e-assignments/pulls
Discussions	https://github.com/pascal-lab/Tai-e-assignments/discussions
java	https://github.com/topics/java
education	https://github.com/topics/education
static-analysis	https://github.com/topics/static-analysis
program-analysis	https://github.com/topics/program-analysis
angr	https://github.com/angr
angr-management	https://github.com/angr/angr-management
Star 1.1k	https://github.com/login?return_to=%2Fangr%2Fangr-management
Code	https://github.com/angr/angr-management
Issues	https://github.com/angr/angr-management/issues
Pull requests	https://github.com/angr/angr-management/pulls
program-analysis	https://github.com/topics/program-analysis
hacktoberfest	https://github.com/topics/hacktoberfest
angr	https://github.com/topics/angr
semgrep	https://github.com/semgrep
semgrep-rules	https://github.com/semgrep/semgrep-rules
Star 1.1k	https://github.com/login?return_to=%2Fsemgrep%2Fsemgrep-rules
Code	https://github.com/semgrep/semgrep-rules
Issues	https://github.com/semgrep/semgrep-rules/issues
Pull requests	https://github.com/semgrep/semgrep-rules/pulls
security	https://github.com/topics/security
static-analysis	https://github.com/topics/static-analysis
program-analysis	https://github.com/topics/program-analysis
security-scanner	https://github.com/topics/security-scanner
grep-like	https://github.com/topics/grep-like
semgrep	https://github.com/topics/semgrep
semgrep-rules	https://github.com/topics/semgrep-rules
semgrep-registry	https://github.com/topics/semgrep-registry
Curate this topic	https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-program-analysis
Learn more	https://docs.github.com/en/articles/classifying-your-repository-with-topics
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.