Commits · 35e23d7b0764cf88ed1335e199c9074bb0903c57 · Open Source Software / SMPStaticAnalyzer

Feb 16, 2019
- changes to support scons from peasoup-umbrella dir · 35e23d7b
  Jason Hiser authored 6 years ago
  
  35e23d7b
Feb 12, 2019
- submod · ac449438
  Jason Hiser authored 6 years ago
  
  ac449438
- Propagate assertion fix to second location. · 62576ee6
  Clark Coleman authored 6 years ago
  
  62576ee6
Feb 11, 2019
- Fix assertion problem on indexed stack accesses with baser offset outside stack frame. · 2e730e89
  Clark Coleman authored 6 years ago
  
  2e730e89
Feb 09, 2019
- Handle new Intel and AMD opcodes. · 0934595c
  Clark Coleman authored 6 years ago
  
  0934595c
- Remove toy.exe binary. · eda2f68f
  Clark Coleman authored 6 years ago
  
  eda2f68f
Feb 08, 2019
- Remove binaries in quick directory. · ee3ce3a3
  Clark Coleman authored 6 years ago
  
  ee3ce3a3
Feb 07, 2019
- Remove test binaries. · 974ac8c3
  Clark Coleman authored 6 years ago
  
  974ac8c3
Feb 06, 2019
- Begin removing test binaries. · 69b1f41a
  Clark Coleman authored 6 years ago
  
  69b1f41a
Feb 05, 2019
- Stop running STARS baseline on test binaries, to prepare for removing the test... · 8e082c32
  Clark Coleman authored 6 years ago
  
  Stop running STARS baseline on test binaries, to prepare for removing the test binaries from the repo.
  8e082c32
Feb 04, 2019
- update to build libirdb-deep · 6951453a
  Jason Hiser authored 6 years ago
  
  6951453a
Feb 01, 2019
- refactoring libirdb-elfdep. redoing library naming scheme · ad61db4c
  Jason Hiser authored 6 years ago
  
  ad61db4c
- refactoring libirdb-util and libirdb-syscall · 184f3f01
  Jason Hiser authored 6 years ago
  
  184f3f01
Jan 31, 2019
- added irdb-cfg · ec25b2ca
  Jason Hiser authored 6 years ago
  
  ec25b2ca
Jan 29, 2019
- fixed typo i added · e9c545ba
  Jason Hiser authored 6 years ago
  
  e9c545ba
Jan 28, 2019
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · 46cba78a
  Jason Hiser authored 6 years ago
  
  46cba78a
- Submodule updated automatically on loic-test at Mon Jan 28 01:05:06 EST 2019 · f2534f42
  GitLabRunner ubuntu18-x64 authored 6 years ago
  
  f2534f42
Jan 27, 2019
- submod · 4f44223a
  Jason Hiser authored 6 years ago
  
  4f44223a
- changed path to libehp to use ssh keys · ffe53af0
  Jason Hiser authored 6 years ago
  
  ffe53af0
Jan 26, 2019
- refactoring libIRDB · 23624cac
  Jason Hiser authored 6 years ago
  
  23624cac
Jan 17, 2019
- Operand normalization fix. · 8b08e4ed
  Clark Coleman authored 6 years ago
  
  8b08e4ed
- Merge branch 'move_globals_fixes2' into 'master' · 8317ca0b
  Clark Coleman authored 6 years ago
  
  Move_globals fixes See merge request allnp/SMPStaticAnalyzer!16
  8317ca0b
- Improve tracking of init values for STATICMEMWRITE annotations. · 035a2558
  Clark Coleman authored 6 years ago
  
  035a2558
- Fix IP-relative static mem operands by adding the length of the instruction to the offset. · 72490e0e
  Clark Coleman authored 6 years ago
  
  72490e0e
Jan 12, 2019
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · 48ecb80b
  Jason Hiser authored 6 years ago
  
  48ecb80b
- porting some more functionality to ARM64 · 19db9ed5
  Jason Hiser authored 6 years ago
  
  19db9ed5
- Robustness fix for fix_calls binaries. · 836322ce
  Clark Coleman authored 6 years ago
  
  836322ce
Jan 10, 2019
- Merge branch 'block_succ_fix' into 'master' · 5770851d
  Clark Coleman authored 6 years ago
  
  SENTINEL annotations See merge request allnp/SMPStaticAnalyzer!15
  5770851d
- Add SENTINEL annotations for compare or test instructions in loops that don't... · d009f746
  Clark Coleman authored 6 years ago
  
  Add SENTINEL annotations for compare or test instructions in loops that don't use the last value of the induction var.
  d009f746
Jan 08, 2019
- Don't add call target to block successor list. · d6292148
  Clark Coleman authored 6 years ago
  
  d6292148
Jan 04, 2019

Merge branch 'mg_output' into 'master' · b032cf90

Clark Coleman authored 6 years ago

Increase memory annotations by tracing to the initial value for address regs

See merge request allnp/SMPStaticAnalyzer!14

b032cf90

Increase memory annotations by tracing to the initial value for address regs... · c1f3b0d2

Clark Coleman authored 6 years ago

Increase memory annotations by tracing to the initial value for address regs on memory access instructions that have no annotations.

c1f3b0d2

Dec 31, 2018
- code cleanups + limit messages about bad rtls to 100 · 48bed873
  Jason Hiser authored 6 years ago
  
  48bed873
Dec 28, 2018
- removed debug print · b8efa02f
  Jason Hiser authored 6 years ago
  
  b8efa02f
- added initial ARM support by specifying DFAControl flow information for ARM · e86e7057
  Jason Hiser authored 6 years ago
  
  e86e7057
Dec 27, 2018
- added STARSxrefs output for refs to code/data in code. · bfae781e
  Jason Hiser authored 6 years ago
  
  bfae781e
Dec 24, 2018
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · cc763f07
  Clark Coleman authored 6 years ago
  
  View commits for tag cfar-phase3-final cfar-phase3-final
  
  cc763f07
- Improved induction variable identification for optimized binary code patterns. · a04dd127
  Clark Coleman authored 6 years ago
  
  a04dd127
- submod · bf08e593
  Jason Hiser authored 6 years ago
  
  bf08e593
- Track constant InArg values, use them in expression simplification. · bd2d6c56
  Clark Coleman authored 6 years ago
  
  bd2d6c56