Commits · 75b59c48058d12e7e8254db1096839abfa4ebdf3 · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Oct 13, 2015
- Turn on -Wall in IDA build and attack a slew of warning messages. · 75b59c48
  clc5q authored 9 years ago
  75b59c48
- Updates for Set/GetOpGlobalIndex. · 76316dc8
  jdh8d authored 9 years ago
  76316dc8
Oct 12, 2015
- Dump method for InstructionID · 34bca764
  jdh8d authored 9 years ago
  34bca764
- Reduce warnings until I have time to fix them. · 578b1f00
  clc5q authored 9 years ago
  578b1f00
- Fix EraseInstRange() dependence on sequential addresses; make cosmetic changes. · fabc3f4b
  clc5q authored 9 years ago
  fabc3f4b
Oct 11, 2015
- Added Dump() routines to base class that do nothing. Override as desired for... · febf6ee7
  jdh8d authored 9 years ago
  febf6ee7
- fixed bytewidth=ArgSize for bit/byte number mismatch. · c1973377
  jdh8d authored 9 years ago
  c1973377
- Sign extend to 64 bits the operand of a 64-bit push opcode that takes a... · 9d78f0a3
  clc5q authored 9 years ago
  9d78f0a3
Oct 09, 2015
- Moved SpecFlag4 functions out of STARS_op_t and into STARS_IDA_op_t where they... · d5da4438
  jdh8d authored 9 years ago
  d5da4438
- Undid -r 18423 commit. · 2ca0c9b4
  jdh8d authored 9 years ago
  2ca0c9b4
- Get rid of use of GetSpecFlag4() in common code. · 568a96cc
  clc5q authored 9 years ago
  568a96cc
Oct 08, 2015
- Updates for SIB and IsEqOp rewrite to use op_t::operator< · 8758e817
  jdh8d authored 9 years ago
  8758e817
- Expand chunks to include interleaved orphan code regions. · 1ec9897c
  clc5q authored 9 years ago
  1ec9897c
Oct 05, 2015
- Updates to move OperandDefaultsTo64Bits into base class. · 8dc92002
  jdh8d authored 9 years ago
  8dc92002
- Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for... · d0ba340d
  clc5q authored 9 years ago
  d0ba340d
Oct 03, 2015
- Fixed bug where pop insn was grabbing the wrong operand from bea, where... · 00d37a72
  jdh8d authored 9 years ago
  00d37a72
Oct 01, 2015
- Make indirect writes safe if they come from loop-invariant stack copies. · 373860a0
  clc5q authored 9 years ago
  373860a0
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  f2d35f85
Sep 28, 2015
- Updates to build system to fix errors in last rev. · 06848cb9
  jdh8d authored 9 years ago
  06848cb9
- Changed default to build libstar.a for irdb. Added sanity checking with nice... · bba5595b
  jdh8d authored 9 years ago
  bba5595b
Sep 26, 2015
- Fix SCCP by hitting lattice bottom on reads from memory. · 3af6e370
  clc5q authored 9 years ago
  3af6e370
Sep 25, 2015
- Reworked to have irdb_transforms dir that can link in libstars. · 2320c43c
  jdh8d authored 9 years ago
  2320c43c
- Moved SMPStaticAnalyzer.exe build to irdb_transforms for circular dependency reasons. · c21a6103
  jdh8d authored 9 years ago
  c21a6103
- · e2387472
  jdh8d authored 9 years ago
  e2387472
- Bug fix: Retain original byte width for normalized stack operands. · c8befeea
  clc5q authored 9 years ago
  c8befeea
Sep 24, 2015
- Continue SPARK Ada translation improvements at package and procedure level. · a7a94176
  clc5q authored 9 years ago
  a7a94176
Sep 21, 2015
- · 3f75ccc5
  jdh8d authored 9 years ago
  3f75ccc5
- Updates to supportr building a libstars.a to link into IRDB xforms. · 3c66cf4c
  jdh8d authored 9 years ago
  3c66cf4c
Sep 20, 2015
- Committing missing .h file changes for GetReadOnlyMem and IsPushFromFixed · 700b5fef
  jdh8d authored 9 years ago
  700b5fef
- renamed · 4ffe9f5f
  jdh8d authored 9 years ago
  4ffe9f5f
- Updated some filenames to use consistent naming scheme. added... · 6d2046e6
  jdh8d authored 9 years ago
  6d2046e6
Sep 19, 2015
- Add STARS_Instruction_t::IsPushFromFixedCall() method as a placeholder for future work. · 792b127e
  clc5q authored 9 years ago
  792b127e
Sep 18, 2015
- More SPARK Ada translation improvements. · fc4a9f03
  clc5q authored 9 years ago
  fc4a9f03
Sep 11, 2015
- Find constant indirect call and jump targets using SCCP, output debug info. · 7b0a1841
  clc5q authored 9 years ago
  7b0a1841
Sep 10, 2015
- Improve SCCP by getting read-only data values for static memory operands. · fdb0e1cc
  clc5q authored 9 years ago
  fdb0e1cc
Sep 09, 2015
- Handle unsigned conditional jumps in SCCP. · a75b4a0d
  clc5q authored 9 years ago
  a75b4a0d
Sep 07, 2015
- Canonicalize 32-bit regs to 64-bit on 64-bit binaries. · 2a5ad929
  clc5q authored 9 years ago
  2a5ad929
- Print 64-bit address reg for SPARK Ada even when operand widths are 32 bits. · 26307319
  clc5q authored 9 years ago
  26307319
Sep 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  acc384cb
Aug 31, 2015
- · 6ddae845
  jdh8d authored 9 years ago
  6ddae845