Commits · 046d031bd978ae29addae4085a1a95cc22969404 · Open Source Software / SMPStaticAnalyzer

Nov 20, 2018
- Minor fixes and speedups. · b1fe4e49
  Clark Coleman authored 6 years ago
  
  b1fe4e49
Nov 16, 2018
- Generalize memory annotations to static and stack reads and writes. · cac5dd22
  Clark Coleman authored 6 years ago
  
  cac5dd22
Nov 07, 2018
- Generalize loop memory write analyses, improve symbolic analyses. · a198edb9
  Clark Coleman authored 6 years ago
  
  a198edb9
Jul 26, 2018
- Remove inst-addr-order assumptions that won't work on STARS IRDB, if it ever... · 3dc0bdf9
  Clark Coleman authored 6 years ago
  
  Remove inst-addr-order assumptions that won't work on STARS IRDB, if it ever uses numeric annotations output again.
  3dc0bdf9
Jul 21, 2018
- Improve SCCP, CONSTARG annotations, and track args to strcpy_chk() just like strcpy() is tracked. · ebe26e04
  Clark Coleman authored 6 years ago
  
  ebe26e04
Jul 20, 2018
- Fixes to SCCP and annotations for const-siz malloc buffers passed to vulnerable library functions. · 953ff0e1
  Clark Coleman authored 6 years ago
  
  953ff0e1
May 27, 2018
- Trivial speedup; learning git. · 0e66d540
  Clark Coleman authored 6 years ago
  
  Former-commit-id: efc47ab76e0672f538a67b823b06e0081d1264d9
  0e66d540
May 12, 2018
- Speedup of AliasAnalysis (finally a major improvement). · 6f661ee1
  clc5q authored 6 years ago
  
  Former-commit-id: d2a840cc03c5c98996028120bbb248315393e42b
  6f661ee1
May 09, 2018

Formatting of STACKMEMRANGE annotations, prep work for emitting those... · 6de342b4

clc5q authored 6 years ago

Formatting of STACKMEMRANGE annotations, prep work for emitting those annotationg for StackPtrCopy instructions involved in mem writes.

Former-commit-id: 9a987eac0ad409cc3dfd2ecb8052f34f14d55c8a

6de342b4

Apr 20, 2018
- Speed-up of AliasAnalysis(). · 6ae6d1f7
  clc5q authored 6 years ago
  
  Former-commit-id: cd37eab99429883037c68cf4c2ed05ac4a78871e
  6ae6d1f7
Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  
  Former-commit-id: 1a4ff933d0c4d5ce68b1e9726026c1c12922025c
  fa9d667b
May 27, 2017
- Handle mem exprs with global static mem writes, and other fixes for test case synthetic.c. · 5e39d036
  clc5q authored 7 years ago
  
  Former-commit-id: c6543a879f251195e4314e9d4c6b8b44cb92c0b9
  5e39d036
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 7 years ago
  
  Former-commit-id: 050776c085eac062c9b378076118d996345544f6
  84d2b183
Mar 31, 2017
- Improved control flow analyses. · be4b6ecb
  clc5q authored 7 years ago
  
  Former-commit-id: 7dc9f626c3d43d11bacd471e3a95e52a68e9a889
  be4b6ecb
Mar 24, 2017
- SPARK loop analyses for sha benchmark, lower levels of the call graph. · 767fe623
  clc5q authored 8 years ago
  
  Former-commit-id: e88ded577a7a6610ebd0a3552bbe3717ad990292
  767fe623
Feb 16, 2017
- SPARK updates for sha test case; fix byte width issues for opcodes like lea edx,[rax+1]. · ebd299b6
  clc5q authored 8 years ago
  
  Former-commit-id: bdb919af1468f3a929b5a735b6221a50fe5f2047
  ebd299b6
Jan 19, 2017
- Translate only live flags in SPARK after arithmetic and compare or test opcodes. · 1b04e83b
  clc5q authored 8 years ago
  
  Former-commit-id: fcdd33b0ab180a7089574e341452da9701ffa09b
  1b04e83b
Jan 02, 2017
- Handle blocks that are loop tail blocks for two loops. · 18934f89
  clc5q authored 8 years ago
  
  Former-commit-id: 2e349c679cf99b4ebeaffebeba44af9a26a656a3
  18934f89
Dec 17, 2016
- Remove DATAPTR 0 annotations; SPARK translation improvements. · 1779e0db
  clc5q authored 8 years ago
  
  Former-commit-id: 7555fe786cc347e680f706aab4ddaa42add65066
  1779e0db
Dec 13, 2016
- SPARK translation updates. · a3820ca0
  clc5q authored 8 years ago
  
  Former-commit-id: 6dc99225d66a19e035506685bff4988dfbe4deff
  a3820ca0
Oct 25, 2016
- Loop analyses and memory writing region analyses. · b5f6960e
  clc5q authored 8 years ago
  
  Former-commit-id: 256e05a5ac526dbc0c768febece164d9e3b89e3b
  b5f6960e
Jul 31, 2016
- Merge loop analysis work with CGC changes. · 15adfb1b
  clc5q authored 8 years ago
  
  Former-commit-id: fe59e80868bb5efe7787d44ce96c2b540606890d
  15adfb1b
Jun 07, 2016
- Translation of compound conditionals. · 391e2402
  clc5q authored 8 years ago
  
  Former-commit-id: 47766c4779b8f10f71864fdb9a31b46f6e7b5937
  391e2402
Jun 02, 2016
- Switch STARS_regnum_t to alias STARS_RegNo enum. · 3f15bb59
  clc5q authored 8 years ago
  
  Former-commit-id: 0572c54541daf20f03f146c634e5d4e25322f400
  3f15bb59
- Add STARS_regnum_t type and use it. · a8aa8cb6
  clc5q authored 8 years ago
  
  Former-commit-id: 5ea425775063029c03ef44b2dea299e8eae66e09
  a8aa8cb6
May 26, 2016
- Fix X86.Memory Input and In_Out across loop spans. · 14e8a161
  clc5q authored 8 years ago
  
  Former-commit-id: 6838048aea9ad908f2c9920a8b64b060d84feedc
  14e8a161
May 13, 2016

DEADREGS work; handle local names of other blocks that are not referenced in... · 1c63b5a4

clc5q authored 8 years ago

DEADREGS work; handle local names of other blocks that are not referenced in current block, convert nops from data back to code when following a CALL.

Former-commit-id: 3c39474ea207d5cbc18dbbedf7685cf0f7ac779d

1c63b5a4

May 05, 2016
- Perform tests in correct order in IsGlobalRegRead(). · 65812a64
  clc5q authored 8 years ago
  
  Former-commit-id: d26182dd47b81394d5230734059423b04b600673
  65812a64
- Generalize DEADREGS pass-through case for callee-saved regs. · 4e5e39bc
  clc5q authored 8 years ago
  
  Former-commit-id: 9c6eeb034848931a763938bd91d9e826384f9302
  4e5e39bc
- Handle EIP-relative operands in their IRDB form. · e9a3726b
  clc5q authored 8 years ago
  
  Former-commit-id: ff0deac7b3f67757e3c64a2085c003614abe082e
  e9a3726b
- Avoid tracing StaticMemOp types when analyzing memory write safeness. · 61c5e14b
  clc5q authored 8 years ago
  
  Former-commit-id: 037d229ac75a6a67a83e726b445871f3f443c9f9
  61c5e14b
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  
  Former-commit-id: 46b7504afd4116e9c7e1a66a2df28efbeb8457b6
  edf0b91d
May 03, 2016
- DEADREGS fix: Allow callee-saved regs to pass through a func without being declared dead. · 3eced7be
  clc5q authored 8 years ago
  
  Former-commit-id: 407f83826ef32a971e3967da525af72adcf71b50
  3eced7be
- Avoid crash when tracing truncations back to SSA marker instructions when... · bdcc1b59
  clc5q authored 8 years ago
  
  Avoid crash when tracing truncations back to SSA marker instructions when looking to trace back to add or subtract instructions. Former-commit-id: 80adc76562de0430c84bc59273307be06677e6dd
  bdcc1b59
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 8 years ago
  
  Former-commit-id: 8529eabf9b6e66c5896ad0f3d59d70ea9b3c9533
  6f6293e2
Mar 21, 2016

Reduce memory; handle huge SSA numbers; add assertions; alter code size limit... · ed7639ca

clc5q authored 9 years ago

Reduce memory; handle huge SSA numbers; add assertions; alter code size limit for 64-bit reduced processing.

Former-commit-id: 1b6cdbbd773d22eb7c3511cff5b9b656ff90d3e5

ed7639ca

Mar 19, 2016
- Speedup on large functions. · d79a1ca1
  clc5q authored 9 years ago
  
  Former-commit-id: c5edffb1ff109743af2c2e4c984b993e0c3496da
  d79a1ca1
Feb 23, 2016
- Improve CODEPTR propagation; improve function pointer shadowing analyses. · 9f170927
  clc5q authored 9 years ago
  
  Former-commit-id: 50f098445906c24569893f3a41ff48f84aa75104
  9f170927
Feb 17, 2016
- Continue work on function pointer shadowing. · 13f113b6
  clc5q authored 9 years ago
  
  Former-commit-id: eb37bb73e8e600ba395e3190574a93cc28d2026d
  13f113b6
Jan 28, 2016
- Fix problems with operand printing in annotations and PC-relative 64-bit operands. · fff7ed84
  clc5q authored 9 years ago
  
  Former-commit-id: e54c0844f92141025b820c2d7ea9bb6b2453307a
  fff7ed84