Snippets Groups Projects

Tags

Tags give the ability to mark specific points in history as being important

cfar-phase3-final

cc763f07 · Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · 6 years ago
```
CFAR Phase 3 final deliverable
```
zip
tar.gz
tar.bz2
tar
CFAR_AEI

c83f278c · Build RTLs and better handle 8087 floating point opcodes. · 6 years ago
zip
tar.gz
tar.bz2
tar
CfarJuly2018Eval

f5124044 · Merge branch 'braces' into 'master' · 6 years ago
```
VGT configuration used to create July Evaluation
```
zip
tar.gz
tar.bz2
tar
pre-las-vegas

d17dd2e3 · Pre Las Vegas Snapshot · 8 years ago
zip
tar.gz
tar.bz2
tar
SCCP_12NOV2013

b63484d4 · Commit first tested version of SCCP. · 11 years ago
zip
tar.gz
tar.bz2
tar
fast_metadata_02SEP2013

b8a04199 · Speed up and improve precision of metadata liveness analysis. · 11 years ago
zip
tar.gz
tar.bz2
tar
call_graph_priority_27AUG2013

8bf4e23a · Clean up PrioritizeCallGraph() and eliminate redundant call targets. · 11 years ago
zip
tar.gz
tar.bz2
tar
remove_DU_chains_21AUG2013

ad0adacf · Eliminate DU chains and last dependencies on them. · 11 years ago
zip
tar.gz
tar.bz2
tar
alias_analysis_19AUG2013

3219501d · Fix FindPossibleChainAlias() while removing DU chain dependency. · 11 years ago
zip
tar.gz
tar.bz2
tar
alias_analysis_17AUG2013

92049269 · Fix alias analysis. · 11 years ago
zip
tar.gz
tar.bz2
tar
duchain_data_structures_25JUL2013

87d6c842 · Convert AddrInstMap to map InstAddr to InstVec index. · 11 years ago
zip
tar.gz
tar.bz2
tar
stonesoup-phase2-tne-release

128b49cc · Link unreachable blocks via xrefs to preceding indirect jumps, if possible. · 11 years ago
zip
tar.gz
tar.bz2
tar
IDA64_28JUN2013

83d91ee6 · Fix problems with IDA Pro 6.4; recognize xchg ax,ax as a no-op. · 11 years ago
zip
tar.gz
tar.bz2
tar
hashing_lea_addition_26JUN2013

c1e5c54b · Generalize detection of hashing; extend SMPInstr::MDIsAddition to include lea opcode additions. · 11 years ago
zip
tar.gz
tar.bz2
tar
IDIOM_23_21JUN2013C

1a41b74b · IDIOM 23: unsigned subtract then immediate add. · 11 years ago
zip
tar.gz
tar.bz2
tar
truncation_signedness_21JUN2013

cabe9b2b · Make benign truncation checks apply more broadly to sign-extended move chains. · 11 years ago
zip
tar.gz
tar.bz2
tar
IDIOM_21_bitwise_not_17JUN2013B

0863ab17 · IDIOM 21: bitwise NOT followed by overflow or underflow operation. · 11 years ago
zip
tar.gz
tar.bz2
tar
IDIOM_20_memory_reduction_17JUN2013

5f5b535d · Add IDIOM 20 for SIGNEDNESS; reduce memory use. · 11 years ago
zip
tar.gz
tar.bz2
tar
deadregs_bitset_14JUN2013B

65b34e2b · Convert dead regs from a string to a bitset to reduce inst memory and make for easy queries. · 11 years ago
zip
tar.gz
tar.bz2
tar
scaled_indexreg_not_unsigned_14JUN2013

500dd537 · Do not treat shift of scaled index reg as UNSIGNED. · 11 years ago
zip
tar.gz
tar.bz2
tar

Prev
1
2
3
4
5
…
12
Next