Commits · 54278cbb8c3f97a8021b338f3addaaa396210ac3 · Open Source Software / SMPStaticAnalyzer

Aug 04, 2017
- Improve type inference debug output for SMPTypeMeet errors. · 54278cbb
  clc5q authored 7 years ago
  
  Former-commit-id: 006f0b47220b8e8fd97e78c8ad8e955384232c66
  54278cbb
Jul 17, 2017
- Fixes for loop analyses across regression tests. · fa9d667b
  clc5q authored 7 years ago
  
  Former-commit-id: 1a4ff933d0c4d5ce68b1e9726026c1c12922025c
  fa9d667b
Jul 04, 2017
- SPARK cleanup, and fixes for FindConditionalFollowNode(). · 7000b465
  clc5q authored 7 years ago
  
  Former-commit-id: 0fe7e9297b16fde689d9a5674e82ada9cbb24c13
  7000b465
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 29, 2017

Emit SPARK incoming reg location info for regs that get copied to mem write... · ed0de764

clc5q authored 7 years ago

Emit SPARK incoming reg location info for regs that get copied to mem write address regs in the loop.

Former-commit-id: ab95603a28557cf76630156e5e5ce7d01895f37c

ed0de764

Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 8 years ago
  
  Former-commit-id: 601efff35a675d3b1a85f201fdc095daf32206ee
  38ef90a3
Mar 20, 2017
- Combine SPARK loop memory exprs with common addressing registers but varying immediate offsets. · 03b64ed8
  clc5q authored 8 years ago
  
  Former-commit-id: 64ae639d60e6c7dc9cdd2086bd5d67a4a3553fc7
  03b64ed8
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 23, 2017
- SPARK translation cleanup; indirect write assertions heuristic implementation. · 558b6c2d
  clc5q authored 8 years ago
  
  Former-commit-id: 22c94d9650fb771c3b3e78ce3cc18deff5700f62
  558b6c2d
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
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
Jun 26, 2016
- support to re-invoke stars within an xform · 081ec738
  jdh8d authored 8 years ago
  
  Former-commit-id: 62f62ba2799dc21f09b9a475af42ecd3d7095800
  081ec738
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 27, 2016
- Identify thunk functions, fix FindPreservedRegs error on funcs with multiple return points. · f6beb38a
  clc5q authored 8 years ago
  
  Former-commit-id: c73efcaa47cb22e6f35a4c1467d89afa79b553b6
  f6beb38a
May 16, 2016
- Write safety analysis, results not yet used. · d1a549b5
  clc5q authored 8 years ago
  
  Former-commit-id: d941f55460e83bb9aaf29a52c6c975b774df639c
  d1a549b5
May 07, 2016
- Generalize EIP/CS-relative addressing detection. · 9863153c
  clc5q authored 8 years ago
  
  Former-commit-id: ae71cb99dc35fe490ef711cc1fc439041c7df21d
  9863153c
May 05, 2016
- Improve safe indirect writes intraprocedural analysis. · edf0b91d
  clc5q authored 8 years ago
  
  Former-commit-id: 46b7504afd4116e9c7e1a66a2df28efbeb8457b6
  edf0b91d
Apr 08, 2016
- Continue SPARK Ada translation; loops to procedures. · 6f6293e2
  clc5q authored 8 years ago
  
  Former-commit-id: 8529eabf9b6e66c5896ad0f3d59d70ea9b3c9533
  6f6293e2
Feb 22, 2016
- Begin using new SMPFunction::FindShadowingPoint2 method. · 6e97c806
  clc5q authored 9 years ago
  
  Former-commit-id: 677a1fd5e80131cc897f763437d42231b066f9da
  6e97c806
Feb 04, 2016
- Use new stack DEF map to speed up GetGlobalDefAddr(). · a410e685
  clc5q authored 9 years ago
  
  Former-commit-id: be29304c530d6812eb9985328d001b1d95649625
  a410e685
Feb 01, 2016
- Normalize encoding of memory operands. · 8fc22652
  clc5q authored 9 years ago
  
  Former-commit-id: 9c82291904911e85fb78fc87d3f0d9b21da702b2
  8fc22652
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
Jan 17, 2016

Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue... · a3b6b166

clc5q authored 9 years ago

Replace uses of GetOpDataSize() with STARS_op_t::GetByteWidth() and continue to improve function pointer shadowing.

Former-commit-id: d00329fbdffe72415d2749bfd49c507bf4b2bdf2

a3b6b166

Jan 15, 2016
- Improve propagation of CODEPTR type and expand analyses for function pointer shadowing. · 54dbf16d
  clc5q authored 9 years ago
  
  Former-commit-id: 87d90330c3f8deb29b9c0c298979da0f98d21260
  54dbf16d
Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  
  Former-commit-id: 1e20c1306f474f69e082dbe7ee97644df311a360
  0c9e73fd
Oct 15, 2015

Clean up StaticMemOp processing to reflect that it can include an index... · 2d463091

clc5q authored 9 years ago

Clean up StaticMemOp processing to reflect that it can include an index register but no base register.

Former-commit-id: 1ea77fdf2e84e3422f791c388b1162271f8437ac

2d463091

Oct 09, 2015
- Undid -r 18423 commit. · 2ca0c9b4
  jdh8d authored 9 years ago
  
  Former-commit-id: 46ab830edeaf305a2f0d8244acf492cf43a2bdbd
  2ca0c9b4
- Get rid of use of GetSpecFlag4() in common code. · 568a96cc
  clc5q authored 9 years ago
  
  Former-commit-id: 4a5f2ebff64bb1186748a3e15de4808d14c11cbf
  568a96cc
Oct 08, 2015
- Updates for SIB and IsEqOp rewrite to use op_t::operator< · 8758e817
  jdh8d authored 9 years ago
  
  Former-commit-id: ececbd7b378e90677b7f9bf3a5fbbc824009295d
  8758e817
Oct 01, 2015
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
Sep 24, 2015
- Continue SPARK Ada translation improvements at package and procedure level. · a7a94176
  clc5q authored 9 years ago
  
  Former-commit-id: 2735035e70eea9a8cedc0dfc0ee4f332035e16e9
  a7a94176
Sep 07, 2015
- Canonicalize 32-bit regs to 64-bit on 64-bit binaries. · 2a5ad929
  clc5q authored 9 years ago
  
  Former-commit-id: aec64f4807158c0f9b48f5e566bb31b6b0fee661
  2a5ad929
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  
  Former-commit-id: 745651c57b26a92e5c2fb02378895888fc587a33
  27ab50d6
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3