static-analysis 17 golang 7 datalog 7 security 5 pointer-analysis 5 codeql 5 go 5 reverse-engineering 4 symbolic-execution 4 control-flow-analysis 3 llvm 3 intermediate-representation 3 static-code-analysis 3 taint-analysis 3 solidity 3 ethereum 3 slicing 3 dynamic-analysis 2 deobfuscation 2 binary-translation 2 binary-analysis 2 solidity-compiler 2 emulator 2 instruction-semantics 2 lifter 2 smt 2 decompiler 2 bytecode-interpreter 2 antlr4-go 2 abi 2 abstract-syntax-tree 2 antlr4 2 grep-like 2 security-scanner 2 semgrep 2 semgrep-registry 2 semgrep-rules 2 android 2 callgraph 2 dataflow-analysis 2 java 2 javascript 2 vulnerability-detection 2 python 2 syntax-analysis 2 syntatic-analysis 2 solidity-contracts 2 web-vulnerability 1 vulnerability 1 java-vulnerability 1 java-security 1 java-gui 1 blockchain 1 bap 1 program-verification 1 analysis 1 backward-slice 1 backward-slicing 1 control-dependency 1 data-dependency 1 dependence-graph 1 dependency-graph 1 llvm-bitcode 1 llvm-ir 1 llvm-slicer 1 points-to-analysis 1 reaching-definitions 1 slice 1 static-analyzer 1 security-analysis 1 smart-contracts 1 angr 1 hacktoberfest 1 abstract-interpretation 1 code-quality 1 ocaml 1 type-check 1 typechecker 1 debugging 1 exploitation 1 compiler 1 functional 1 functional-programming 1 language 1 optimization 1 performance 1 programming-language 1 supercompiler 1 bytecode 1 jar 1 java-asm 1 java-bytecode 1 java-debugger 1 java-decompiler 1