Commits · 4f98acf7c32642fda1cae9c23c1ff08b57d8eab8 · Open Source Software / SMPStaticAnalyzer

Sep 04, 2018
- Speedup for changes required to support unpinned IBTs · 4f98acf7
  Matthew McGill authored 6 years ago
  
  4f98acf7
Aug 10, 2018
- Fix fall-through and conditional tail call code in SMPFunction::ComputeReturnTargets(). · a0694899
  Clark Coleman authored 6 years ago
  
  a0694899
Aug 07, 2018
- added verbose output · 70b500b1
  Jason Hiser authored 6 years ago
  
  70b500b1
Aug 05, 2018
- RTL cleanup for floating point opcodes. · ec84d76d
  Clark Coleman authored 6 years ago
  
  ec84d76d
Aug 01, 2018
- Build RTLs and better handle 8087 floating point opcodes. · c83f278c
  Clark Coleman authored 6 years ago
  
  View commits for tag CFAR_AEI CFAR_AEI
  
  c83f278c
Jul 31, 2018
- Fix operands for fld opcode. · 8d819e07
  Clark Coleman authored 6 years ago
  
  8d819e07
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 25, 2018
- Don't allow PLT funcs to be classified as leafs; better recognition of PLT funcs. · 268b1b50
  Clark Coleman authored 6 years ago
  
  268b1b50
Jul 24, 2018
- Updated comment to point at related issue · def94d18
  Matthew McGill authored 6 years ago
  
  def94d18
- Optimization · a9a162a9
  Matthew McGill authored 6 years ago
  
  a9a162a9
- typo · ae85b3a8
  Matthew McGill authored 6 years ago
  
  ae85b3a8
- Change to support unpinned IBTs in the IRDB · 2e2af5f4
  Matthew McGill authored 6 years ago
  
  2e2af5f4
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
Jun 25, 2018
- Make methods machine independent to ease porting. · 305a7689
  Clark Coleman authored 6 years ago
  
  305a7689
Jun 01, 2018
- Add braces in else clauses. · f2f9e7a2
  Will Hawkins authored 6 years ago
  
  f2f9e7a2
May 27, 2018
- Trivial speedup; learning git. · 0e66d540
  Clark Coleman authored 6 years ago
  
  Former-commit-id: efc47ab76e0672f538a67b823b06e0081d1264d9
  0e66d540
May 19, 2018
- Handle duplicate basic induction variables. · b2870a07
  clc5q authored 6 years ago
  
  Former-commit-id: fc1c3648e97f564c29fe5c6c117d8d36e4744b50
  b2870a07
May 15, 2018
- Output more alarms, exclude segregs from data flow operand category. · 5f738e50
  clc5q authored 6 years ago
  
  Former-commit-id: 3c2818998ead6beb6ec4f163192336c8dee8711e
  5f738e50
May 12, 2018
- Speedup of AliasAnalysis (finally a major improvement). · 6f661ee1
  clc5q authored 6 years ago
  
  Former-commit-id: d2a840cc03c5c98996028120bbb248315393e42b
  6f661ee1
May 10, 2018
- Fixes for STACKMEMRANGE annotations. · 346ea71b
  clc5q authored 6 years ago
  
  Former-commit-id: e1f14134c403f0b61511e7688d564d1698cc9b2d
  346ea71b
May 09, 2018

clc5q authored 6 years ago

Former-commit-id: abb88d6f34155f7a21f0eaf0d9c73600a6819ce6

129a7fcb

Emit STACKMEMRANGE annotations for StackPtrCopy instructions. · d559c37f
clc5q authored 6 years ago
```
Former-commit-id: 22a5b0e34d0ab559c08bd6a7c226b1c659ef3abd
```
d559c37f

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

May 07, 2018
- Emit first STACKMEMRANGE annotations. · 26720291
  clc5q authored 6 years ago
  
  Former-commit-id: dbbd52cc7d9378d54f932fbfaa1c53840573653f
  26720291
Apr 20, 2018
- Speed-up of AliasAnalysis(). · 6ae6d1f7
  clc5q authored 6 years ago
  
  Former-commit-id: cd37eab99429883037c68cf4c2ed05ac4a78871e
  6ae6d1f7
Apr 12, 2018

Avoid infinite looping on FindConditionalBranchTerminus(); only Dump()... · c58908ab

clc5q authored 6 years ago

Avoid infinite looping on FindConditionalBranchTerminus(); only Dump() SPARK-failing functions in verbose loops mode.

Former-commit-id: a993b29d0a4924ed8fad2c35ca8ae1385f10ce6d

c58908ab

Apr 08, 2018
- Fix InheritCalleeMemRangeExpr(). · 12160a49
  clc5q authored 6 years ago
  
  Former-commit-id: fe2398080a66fae0a84420cc73be64df6c3ef295
  12160a49
Apr 06, 2018
- Drive SPARK translation from command-line option. · 0d9c0bde
  clc5q authored 6 years ago
  
  Former-commit-id: 2e87e7d1a8681fe75102888c6b603689d8d70d7b
  0d9c0bde
- Drive SPARK translation from command-line option. · 997b89e6
  clc5q authored 6 years ago
  
  Former-commit-id: c6113e62f4c9c1f8c246ec8f6619a7da14346380
  997b89e6
Apr 04, 2018
- Reduce spurious ERROR logs. · 6908402f
  clc5q authored 6 years ago
  
  Former-commit-id: e1fd5a4d53fbc67b1cde26990eebdad0fa5a5cd1
  6908402f
- Make verbose loop analysis output depend on environment var STARS_VERBOSE_LOOPS. · d8dbfd90
  clc5q authored 6 years ago
  
  Former-commit-id: 5d1bbf9cee8365e79a9b3f2a7f58fee59b7f92f0
  d8dbfd90
Apr 01, 2018
- Add command-line option for deep loop analyses. · 0cc1cfbf
  clc5q authored 6 years ago
  
  Former-commit-id: fcfc0eb3841387b6b26c1934e0766bdccde6a130
  0cc1cfbf
Mar 17, 2018
- Minor fixes from 14.04 · f02d9d4f
  jdh8d authored 7 years ago
  
  Former-commit-id: 36077ef5380c95248dd2afbe0945882c8e077451
  f02d9d4f
- better warning handling · 73d78e40
  jdh8d authored 7 years ago
  
  Former-commit-id: a64974349267da832a467d1564cfd8d72229d8b2
  73d78e40
Mar 01, 2018
- Build RTLs for a few more opcodes we have never seen in a binary. · 9800db3c
  clc5q authored 7 years ago
  
  Former-commit-id: 328695e405b3a31272455ca9f5f578748049fbae
  9800db3c
Feb 28, 2018
- Handle 4-operand AMD Fused-multiply-add opcodes. · 4e34084c
  clc5q authored 7 years ago
  
  Former-commit-id: e766acacc41e9aa5182d85ae1024d337934c5107
  4e34084c
Feb 27, 2018
- Build RTLs for more opcodes. · 5addebcb
  clc5q authored 7 years ago
  
  Former-commit-id: bb0da284cd516f956dd1a001765e84e0e09f939d
  5addebcb
Feb 23, 2018

Improvements for stars type numbers, and capstone->stars operand conversions. · 8ef7a34d
jdh8d authored 7 years ago
```
Former-commit-id: 3385e74c8d23c2b1cd9e19b4d82abd3a69c56c3e
```
8ef7a34d

revised stars/irdb interface to use new operand format, adjusted isWritten... · fd47e417

jdh8d authored 7 years ago

 revised  stars/irdb interface to use new operand format, adjusted isWritten to reflect a much larger set of (explicit) no-write instructions

Former-commit-id: 0ceda64ed7acddf6e3af67765312dd483fa38711

fd47e417