Commits · cf0f5d4fa7710ac9e3530f48ea49ee879c980ca9 · Open Source Software / SMPStaticAnalyzer

Aug 10, 2017

Trace fptrs back to constant operands, emit COMPLETE xref annotations if all... · cf0f5d4f

clc5q authored 7 years ago

Trace fptrs back to constant operands, emit COMPLETE xref annotations if all traces lead to constants.

Former-commit-id: 29251dbd5a2fffa953d7477cf782e8f0426406bf

cf0f5d4f

Aug 08, 2017
- Add ImproveCFG option, emit CONSTARG annotations. · 1fd74592
  clc5q authored 7 years ago
  
  Former-commit-id: 901de2942253867b9104de72de579ff42a34fb18
  1fd74592
Aug 04, 2017
- Improve type inference debug output for SMPTypeMeet errors. · 54278cbb
  clc5q authored 7 years ago
  
  Former-commit-id: 006f0b47220b8e8fd97e78c8ad8e955384232c66
  54278cbb
Aug 03, 2017

· e8554768

jdh8d authored 7 years ago

Former-commit-id: 113bcc8fc212ddc11757b85c815c27367ace0455

e8554768

Jul 27, 2017
- Minor tweak to type inference; enhanced debug output. · 471d2cc2
  clc5q authored 7 years ago
  
  Former-commit-id: c181f5e05fed3ac6db2db5ecaf0d73eeb2d08863
  471d2cc2
Jul 21, 2017
- Fix RTL building for into and int3 opcodes, which have no operands. · 2a0b0f48
  clc5q authored 7 years ago
  
  Former-commit-id: 4c643be0e465cc036dbe2bcd76b91b8fabd35f43
  2a0b0f48
Jul 20, 2017
- More fixes for expression simplification. · 8f1336fe
  clc5q authored 7 years ago
  
  Former-commit-id: 9459a6a63b32a1416e8bc5645866751c74a8be8f
  8f1336fe
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
Jun 06, 2017
- integrated centos VM into testing harness (source use_ubuntu or use_centos) · d4d02549
  jdh8d authored 7 years ago
  
  Former-commit-id: db8bdda85e567e50e3c496966e989cdd82bbd046
  d4d02549
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
May 12, 2017
- added explicit check if PEDI_HOME is set to avoid key error when it is not. · 248b6471
  jdh8d authored 7 years ago
  
  Former-commit-id: 77b8f93a9c98bb8577182f66ea48339fcb6f6d4c
  248b6471
May 08, 2017
- Fixes for argument and fptr shadowing. · 0a6cd1cd
  clc5q authored 7 years ago
  
  Former-commit-id: a529019e1411936230aa719f7c14430d4cb1b50f
  0a6cd1cd
May 05, 2017

· 02e3ae66

jdh8d authored 7 years ago

Former-commit-id: 11644bbcae791a23a8a6bd79b6df1786f6bfe995

02e3ae66

May 04, 2017
- Improve argument shadowing. · 5cc6e12e
  clc5q authored 7 years ago
  
  Former-commit-id: 81e13fd1fcf658c2ab8461d5d15f0d3d726605d6
  5cc6e12e
May 01, 2017
- revert bad commit · fd67f084
  an7s authored 7 years ago
  
  Former-commit-id: 4241cb2cd9afff4b9ecfec539a7178d4a514a4e9
  fd67f084
- Fix bad var use · ced98515
  an7s authored 7 years ago
  
  Former-commit-id: 4dedd276d659e116ef9c260624126c90525ef18b
  ced98515
- Use references instead of pointers for STARS optins · 77934728
  an7s authored 7 years ago
  
  Former-commit-id: 9b485bb3f4a25fd36f7b006673a1125589ec16bd
  77934728
Apr 29, 2017
- Pass options to STARS/IRDB. · bbe09d64
  clc5q authored 7 years ago
  
  Former-commit-id: b43822b74d3d17ee634ab79c7b25f05275ee75ff
  bbe09d64
Apr 28, 2017
- Pass options to SMP-analyze.sh · c54897b1
  an7s authored 7 years ago
  
  Former-commit-id: 106e0b444fbe300d222635745c1e0f9f93efbdd8
  c54897b1
Apr 22, 2017
- Implement critical argument shadowing defense. · 84d2b183
  clc5q authored 7 years ago
  
  Former-commit-id: 050776c085eac062c9b378076118d996345544f6
  84d2b183
Apr 21, 2017

Add command-line options for func ptr and arg shadowing, make common code for... · d99cad76

clc5q authored 7 years ago

Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work.

Former-commit-id: bdd21a76912de7e4bf171bc5543218ae1b20e871

d99cad76

Apr 06, 2017
- Control flow analysis improvements. · 6d806aa9
  clc5q authored 7 years ago
  
  Former-commit-id: e34d931d4545e94912d14e8db3eabe51127e9411
  6d806aa9
Apr 02, 2017
- More control flow analysis improvements for if-then-else statements. · 0a372265
  clc5q authored 7 years ago
  
  Former-commit-id: ee1904214c1c9d2eb4b3ecf9e26d4a367049a344
  0a372265
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 28, 2017
- Refactor code for loop preconditions, including all memory exprs, internal and inherited. · 06123212
  clc5q authored 7 years ago
  
  Former-commit-id: e1619ec14233a7610bdfde16c614c05eed286aee
  06123212
Mar 27, 2017
- Refactor SPARK output methods; handle symbolic analysis of indirect memory operands. · 38ef90a3
  clc5q authored 7 years ago
  
  Former-commit-id: 601efff35a675d3b1a85f201fdc095daf32206ee
  38ef90a3
Mar 26, 2017
- SPARK contracts for inheritance of the PreservedRegs property in the call chain. · 6c84c228
  clc5q authored 8 years ago
  
  Former-commit-id: 53da2fe4c0b69dbf241f17540127446e47f61508
  6c84c228
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
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
Mar 17, 2017
- SPARK translation improvements. · e657a849
  clc5q authored 8 years ago
  
  Former-commit-id: 3d6021ee9fac255b40b9ecb8e066f8db2f88f394
  e657a849
Mar 16, 2017
- SPARK translation; generalize Expandperand(). · fc6b4549
  clc5q authored 8 years ago
  
  Former-commit-id: d342710327e6d57a15fc2527ce52f31564c54b86
  fc6b4549
Mar 14, 2017
- SPARK refactoring for loop output; diagnostic output improvements to log. · eb04e4e9
  clc5q authored 8 years ago
  
  Former-commit-id: 93ecdb32813e27405ac6a913848793ad0889661b
  eb04e4e9
Mar 11, 2017

Refactor and clean up SPARK output stage for regular non-loop procedures,... · 4570f590

clc5q authored 8 years ago

Refactor and clean up SPARK output stage for regular non-loop procedures, eliminating duplicate output lines in the process.

Former-commit-id: cb3f499aed6ed94fed48982f8e781a6a84e9b809

4570f590

Mar 10, 2017
- SPARK translation updates. · c6bed551
  clc5q authored 8 years ago
  
  Former-commit-id: c59f5d9d57114ec3770e27122bcec7a69f3a4568
  c6bed551
- SPARK: Handle loop-invariant writes inside loops. · 97792006
  clc5q authored 8 years ago
  
  Former-commit-id: 6869e5dbab8f7168bc914c914fcf1747f0b0183a
  97792006
Mar 06, 2017
- Improve inheritance of SPARK contracts. · f48dceb5
  clc5q authored 8 years ago
  
  Former-commit-id: 45e505f743d688a2d014cd885936516821046486
  f48dceb5
Mar 04, 2017
- SPARK updates and RTL precision updates for looping string opcodes. · cfa9d111
  clc5q authored 8 years ago
  
  Former-commit-id: 53b6474a5894229889dc314b6d900aa6da5cfdfc
  cfa9d111
Mar 01, 2017
- SPARK translation work for the sha test case. · b77034fb
  clc5q authored 8 years ago
  
  Former-commit-id: 10253077ca5276f08c377454147e4fd7f22da277
  b77034fb