Commits · eda2f68ff66342fce048db9399864871f58bbc3c · Open Source Software / SMPStaticAnalyzer

Feb 09, 2019
- 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
Dec 19, 2018
- Make StackPtrCopySet more robust, exclude bad entries to avoid assertion failures. · 91f1500b
  Clark Coleman authored 6 years ago
  
  91f1500b
Dec 15, 2018
- Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer · e325421c
  Clark Coleman authored 6 years ago
  
  e325421c
- Compute loop follow nodes better; separate follow node errors from more... · 2a8ed7d5
  Clark Coleman authored 6 years ago
  
  Compute loop follow nodes better; separate follow node errors from more serious unstructured CFG errors.
  2a8ed7d5
Dec 14, 2018
- add irdb libs and lib path to libstars.so · c26a534c
  Jason Hiser authored 6 years ago
  
  c26a534c
Dec 12, 2018
- Analyze indirect mem reads in case they resolve to static mem reads. · d73db27a
  Clark Coleman authored 6 years ago
  
  d73db27a