Commits · 70b500b1c551526fd031ad45cfba8f9df3fd5119 · Open Source Software / SMPStaticAnalyzer

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
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · b9705168
  Clark Coleman authored 6 years ago
  
  b9705168
- 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 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. · 4a9d7c27
  Clark Coleman authored 6 years ago
  
  4a9d7c27
- 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 08, 2018
- Merge branch 'braces' into 'master' · f5124044
  Clark Coleman authored 6 years ago
  
  Add braces in else clauses. See merge request allnp/SMPStaticAnalyzer!1
  View commits for tag CfarJuly2018Eval CfarJuly2018Eval
  
  f5124044
Jun 06, 2018
- better ignoring of test results · dc2952fd
  Jason Hiser authored 6 years ago
  
  dc2952fd
Jun 04, 2018
- adjusted to ignore more testing outputs more generically · b26dc966
  Jason Hiser authored 6 years ago
  
  b26dc966
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 22, 2018

updated · bdcf1269

Jason Hiser authored 6 years ago

Former-commit-id: 9ac173ebbbb508bc8a06e6d5974d095e36619bc4

bdcf1269

May 19, 2018
- Handle duplicate basic induction variables. · b2870a07
  clc5q authored 6 years ago
  
  Former-commit-id: fc1c3648e97f564c29fe5c6c117d8d36e4744b50
  b2870a07
May 18, 2018
- updated for more build artifacts · 606d44d0
  Jason Hiser authored 6 years ago
  
  Former-commit-id: c22479ca07a7435dea6dbdbc0753adc9638f4f5a
  606d44d0
May 17, 2018
- merged · 55dda320
  Jason Hiser authored 6 years ago
  
  Former-commit-id: b5e0d4815556560a2813210bf0bc146e6b2028eb
  55dda320
- added · cb997f47
  Jason Hiser authored 6 years ago
  
  Former-commit-id: 4f65e827dc11f21ed3cf25b893152e56ddd97b8b
  cb997f47
- added · cc36c793
  Jason Hiser authored 6 years ago
  
  Former-commit-id: fe59a78a55d9d9950366396b4b5fe3ce5421c018
  cc36c793
- added · 6f052358
  Jason Hiser authored 6 years ago
  
  Former-commit-id: 4e9607d38edb7bd4c1481bf13886d01f20fbc323
  6f052358
- Removed git conversion msg for testing · 7d211b70
  Jason Hiser authored 6 years ago
  
  Former-commit-id: d37ed39e56b567003dc07ddb90e7cec749146792
  7d211b70
- Removed git conversion msg for testing · d3e3da52
  Jason Hiser authored 6 years ago
  
  Former-commit-id: 5ad2fc98863b69dff84a578ab83477aad0b0dff1
  d3e3da52
- added · d0e3bfef
  Jason Hiser authored 6 years ago
  
  Former-commit-id: 44777dbc400cc04c8f3e2ae2d873ff1249c79ea7
  d0e3bfef
- added · 8b491cc3
  Jason Hiser authored 6 years ago
  
  Former-commit-id: 42770257bf2bc31c4a8bf02465ba78ca855695e9
  8b491cc3
May 16, 2018

· 494f47f7

jdh8d authored 6 years ago

Former-commit-id: f63b32a613f56e120e15b9acac1866fcc9855934

494f47f7

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

Code clean-up. · 129a7fcb

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 19, 2018
- Use new SMP7noasm.idc script for speed. · 5dd8d59b
  clc5q authored 6 years ago
  
  Former-commit-id: ea5e1ab935a192b740531159220c362adb75f435
  5dd8d59b
- Add SMP7noasm.idc to the install list. · 13880661
  clc5q authored 6 years ago
  
  Former-commit-id: 92618aacbc5c345ff024b03b7bf0826fee04719d
  13880661
Apr 14, 2018
- Add script to suppress ASM generation to save time. · 505e2772
  clc5q authored 6 years ago
  
  Former-commit-id: d7bdf90f5f65fe9eba085b0a2cedaff526be1bd0
  505e2772
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