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 · Dec 24, 2018
```
CFAR Phase 3 final deliverable
```
CFAR_AEI

c83f278c · Build RTLs and better handle 8087 floating point opcodes. · Jul 31, 2018
CfarJuly2018Eval

f5124044 · Merge branch 'braces' into 'master' · Jun 08, 2018
```
VGT configuration used to create July Evaluation
```
pre-las-vegas

d17dd2e3 · Pre Las Vegas Snapshot · Jul 28, 2016
SCCP_12NOV2013

b63484d4 · Commit first tested version of SCCP. · Nov 12, 2013
fast_metadata_02SEP2013

b8a04199 · Speed up and improve precision of metadata liveness analysis. · Sep 03, 2013
call_graph_priority_27AUG2013

8bf4e23a · Clean up PrioritizeCallGraph() and eliminate redundant call targets. · Aug 27, 2013
remove_DU_chains_21AUG2013

ad0adacf · Eliminate DU chains and last dependencies on them. · Aug 21, 2013
alias_analysis_19AUG2013

3219501d · Fix FindPossibleChainAlias() while removing DU chain dependency. · Aug 20, 2013
alias_analysis_17AUG2013

92049269 · Fix alias analysis. · Aug 17, 2013
duchain_data_structures_25JUL2013

87d6c842 · Convert AddrInstMap to map InstAddr to InstVec index. · Jul 25, 2013
stonesoup-phase2-tne-release

128b49cc · Link unreachable blocks via xrefs to preceding indirect jumps, if possible. · Jun 29, 2013
IDA64_28JUN2013

83d91ee6 · Fix problems with IDA Pro 6.4; recognize xchg ax,ax as a no-op. · Jun 29, 2013
hashing_lea_addition_26JUN2013

c1e5c54b · Generalize detection of hashing; extend SMPInstr::MDIsAddition to include lea opcode additions. · Jun 26, 2013
IDIOM_23_21JUN2013C

1a41b74b · IDIOM 23: unsigned subtract then immediate add. · Jun 22, 2013
truncation_signedness_21JUN2013

cabe9b2b · Make benign truncation checks apply more broadly to sign-extended move chains. · Jun 21, 2013
IDIOM_21_bitwise_not_17JUN2013B

0863ab17 · IDIOM 21: bitwise NOT followed by overflow or underflow operation. · Jun 18, 2013
IDIOM_20_memory_reduction_17JUN2013

5f5b535d · Add IDIOM 20 for SIGNEDNESS; reduce memory use. · Jun 17, 2013
deadregs_bitset_14JUN2013B

65b34e2b · Convert dead regs from a string to a bitset to reduce inst memory and make for easy queries. · Jun 14, 2013
scaled_indexreg_not_unsigned_14JUN2013

500dd537 · Do not treat shift of scaled index reg as UNSIGNED. · Jun 14, 2013

Prev
1
2
3
4
5
…
12
Next