Commits · 9fe50347aae5b1484e2779f11aa6b105811877ed · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Jan 09, 2023
- Update submod · 9fe50347
  Jason Hiser authored 2 years ago
  
  9fe50347
- Merge branch 'elfio_update' into 'master' · 5e1b7158
  Jason Hiser authored 2 years ago
  5e1b7158
- Set CI file to use Coss9 and Ubuntu 18 only -- ubuntu20/22 broken still · 3e8e4de3
  Jason Hiser authored 2 years ago
  
  3e8e4de3
Jan 06, 2023
- Clean up testing · 63f29173
  Jason Hiser authored 2 years ago
  
  63f29173
- Update to latest runners · cd71869e
  Jason Hiser authored 2 years ago
  
  cd71869e
- Update to elfio master to deal with turbo-found failures · 32eca445
  Jason Hiser authored 2 years ago
  
  32eca445
Oct 11, 2022
- Merge branch 'deadregs_cvtopcodes' into 'master' · d80cc724
  Clark Coleman authored 2 years ago
  d80cc724
Oct 08, 2022
- Submodule updated automatically on gitlabrunnerbionic at Sat Oct 8 01:30:04 UTC 2022 · b9e3178e
  gitlab-runner authored 2 years ago
  
  b9e3178e
Oct 06, 2022
- Fix RTLs for xmm reg cvt opcodes (affects DEADREGS output). · 2c453355
  Clark Coleman authored 2 years ago
  
  2c453355
Oct 05, 2022
- SPARK: Handle short circuit exprs with unoptimized set-flags-bit logic. · 59289281
  Clark Coleman authored 2 years ago
  
  59289281
Sep 20, 2022
- SPARK: Translate parity flag branches in short circuit conditionals. · 74f878a3
  Clark Coleman authored 2 years ago
  
  74f878a3
Sep 07, 2022
- SPARK: Increase Ada comment output. · 38ed3d4a
  Clark Coleman authored 2 years ago
  
  38ed3d4a
Aug 23, 2022
- SPARK: Handle conditional tail calls; code cleanup. · eb1c4973
  Clark Coleman authored 2 years ago
  
  eb1c4973
Aug 16, 2022
- Enhance debugging output in DetectLoops(). · d92c13b8
  Clark Coleman authored 2 years ago
  
  d92c13b8
Aug 15, 2022
- Increase debugging output in SetLinks(). · b4af183b
  Clark Coleman authored 2 years ago
  
  b4af183b
Aug 13, 2022
- Improve ClassifyLoop() debugging output. · a6565f01
  Clark Coleman authored 2 years ago
  
  a6565f01
- Fix RTLs for cpuid opcode (output regs EBX and ECX). · f15c1615
  Clark Coleman authored 2 years ago
  
  f15c1615
Aug 11, 2022
- Do not emit *.gv files unless STARS is translating to SPARK Ada. · e84f9836
  Clark Coleman authored 2 years ago
  
  e84f9836
- Fix reg USE list on cpuid opcode. · 5a615e68
  Clark Coleman authored 2 years ago
  
  5a615e68
Jul 27, 2022
- Merge branch 'faster_deadregs' into 'master' · 06144b9f
  Clark Coleman authored 2 years ago
  06144b9f
- Enable FastDeadRegs mode in STARS-IRDB. · b2763719
  Clark Coleman authored 2 years ago
  
  b2763719
- Add DEADREGS to SMPInstr:Dump() output. · f3c0a7f9
  Clark Coleman authored 2 years ago
  
  f3c0a7f9
Jul 25, 2022
- Fixes for fast DEADREGS operation. · 25506309
  Clark Coleman authored 2 years ago
  
  25506309
Jul 23, 2022
- Short circuiting analyses not needed for DEADREGS annotations. · 0b899273
  Clark Coleman authored 2 years ago
  
  0b899273
Jul 22, 2022
- Phase ordering to reduce dependencies for DEADREGS annotations. · 0578a732
  Clark Coleman authored 2 years ago
  
  0578a732
Jul 16, 2022
- Emit CODEPTR and DATAPTR annotations for lea opcodes if type inference succeeds. · cfe68b30
  Clark Coleman authored 2 years ago
  
  cfe68b30
Jul 04, 2022
- Add debug form of macro (inactive); handle new opcodes. · 96b6b88d
  Clark Coleman authored 2 years ago
  
  96b6b88d
Jul 01, 2022
- Add more debugging output; fix disasm error. · 86c691be
  Clark Coleman authored 2 years ago
  
  86c691be
Jun 28, 2022
- Merge branch 'debug_palignr' into 'master' · 51c30615
  Clark Coleman authored 2 years ago
  51c30615
Jun 27, 2022
- Add debugging output for palignr operands. · 615bdf2b
  Clark Coleman authored 2 years ago
  
  615bdf2b
Jun 21, 2022
- Convert default arg of SMPFunction::Dump() to explicit arg; add assertions to... · 28eba9d0
  Clark Coleman authored 2 years ago
  28eba9d0
Jun 20, 2022
- Emit diagnostics before assertion failure. · fd6da044
  Clark Coleman authored 2 years ago
  
  fd6da044
Jun 14, 2022
- Handle calls to external funcs cleanly; handle corner case of leaf func with... · 248dc9f0
  Clark Coleman authored 2 years ago
  248dc9f0
Jun 03, 2022
- Prevent assertion failures. · b803f29d
  Clark Coleman authored 2 years ago
  
  b803f29d
Jun 01, 2022
- Fix assertion failure. · a760e4fa
  Clark Coleman authored 2 years ago
  
  a760e4fa
Apr 23, 2022
- Merge branch 'ubuntu22-support' into 'master' · 87148bd9
  Jason Hiser authored 3 years ago
  87148bd9
- Ubuntu22 support · febd7bb6
  Jason Hiser authored 3 years ago and Jason Hiser committed 3 years ago
  
  febd7bb6
Apr 22, 2022
- Fix typos in asserts. · 9297d63a
  Clark Coleman authored 3 years ago
  
  9297d63a
Mar 08, 2022
- SPARK: Handle loop exit targets that are JumpOnly blocks in FindMultiLoopContinue(). · cfa577cd
  Clark Coleman authored 3 years ago
  
  cfa577cd
Mar 01, 2022
- IDA Pro 7.6 opcode updates; reduce SPARK work done in non-SPARK-translation runs. · cca5d5be
  Clark Coleman authored 3 years ago
  
  cca5d5be