Commits · 998a7938ca2099b43297c7f99146e99c776501af · Open Source Software / SMPStaticAnalyzer

Jan 12, 2016
- Iterate over fixing call inst DEFs and USEs by breaking AdvancedAnalysis() into three methods. · 8a43480d
  clc5q authored 9 years ago
  
  Former-commit-id: a0d91c6fe8b81ff340af985bd08d99224406d4cc
  8a43480d
Jan 07, 2016
- Do not mark return targets as COMPLETE if func is called from orphaned code. · cd28df6e
  clc5q authored 9 years ago
  
  Former-commit-id: b8385e6b7c7d8007fd4fd7c9a1826e267a3ec270
  cd28df6e
Dec 27, 2015
- Function pointer shadowing annotations. · 2a362ebc
  clc5q authored 9 years ago
  
  Former-commit-id: 24abe92076820fd34a5e749eece1557a52007f26
  2a362ebc
Dec 25, 2015
- Partial commit of function pointer shadowing logic. · b84c5ffb
  clc5q authored 9 years ago
  
  Former-commit-id: 4dbe1e2891ae337b9881a4212baa8afffc434c2e
  b84c5ffb
Dec 15, 2015
- Output return instruction targets to *.STARSxrefs files. · 34ce76e2
  clc5q authored 9 years ago
  
  Former-commit-id: aaf1efd938f0cf307ff6cfaf693e8e937aaf419e
  34ce76e2
Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  
  Former-commit-id: 1e20c1306f474f69e082dbe7ee97644df311a360
  0c9e73fd
Nov 25, 2015
- Mark mutually recursive funcs; output postconditions for preserved regs. · bc382ff0
  clc5q authored 9 years ago
  
  Former-commit-id: 5ddb7481bebc56fd4cdc115971c25c127c07a894
  bc382ff0
Oct 27, 2015
- Improve loop analysis; continue SPARK Ada loop translation. · ff7f397d
  clc5q authored 9 years ago
  
  Former-commit-id: a1268eac84f84886e025cbc6d94295ea31653fa8
  ff7f397d
Oct 17, 2015
- Build RTLs earlier and solve resulting phase ordering issues. · 46016d1d
  clc5q authored 9 years ago
  
  Former-commit-id: 2dcaddb490df7b6b6e263b572c51183c44514091
  46016d1d
Oct 13, 2015
- Turn on -Wall in IDA build and attack a slew of warning messages. · 75b59c48
  clc5q authored 9 years ago
  
  Former-commit-id: faed6110708c02ea46c60ec5d7614953fb86052c
  75b59c48
Oct 11, 2015

Sign extend to 64 bits the operand of a 64-bit push opcode that takes a... · 9d78f0a3

clc5q authored 9 years ago

Sign extend to 64 bits the operand of a 64-bit push opcode that takes a narrower immediate or memory operand.

Former-commit-id: 4325774dde621d1c1b02665b5359e01f58e52ee6

9d78f0a3

Oct 01, 2015
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
Sep 24, 2015
- Continue SPARK Ada translation improvements at package and procedure level. · a7a94176
  clc5q authored 9 years ago
  
  Former-commit-id: 2735035e70eea9a8cedc0dfc0ee4f332035e16e9
  a7a94176
Sep 18, 2015
- More SPARK Ada translation improvements. · fc4a9f03
  clc5q authored 9 years ago
  
  Former-commit-id: 7cce2c3c80b7256ce696292b50b29aa4d8f86210
  fc4a9f03
Sep 11, 2015
- Find constant indirect call and jump targets using SCCP, output debug info. · 7b0a1841
  clc5q authored 9 years ago
  
  Former-commit-id: 893f24b12f193534a9e0ca4471e1140b6359fb82
  7b0a1841
Sep 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  
  Former-commit-id: e4fcf957b283ada96f8632f0f709967591925dd5
  acc384cb
Aug 07, 2015
- Analyze metadata and infer types for chunked functions. · d82c7227
  clc5q authored 9 years ago
  
  Former-commit-id: 6034849fefc5a3a38c759fb5692b67907ad6942e
  d82c7227
- Compute SSA form for chunked functions. · e54d1098
  clc5q authored 9 years ago
  
  Former-commit-id: ad363fe2c2c374cf8332c0616d72ca365fcc86eb
  e54d1098
Jul 30, 2015
- Cut more IDA calls to FuncInfo stack frame methods; reduce spurious ERROR log messages. · ee7066d3
  clc5q authored 9 years ago
  
  Former-commit-id: e355967cb4990540b6fecf66ba6d54c24070ce67
  ee7066d3
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3
Jul 23, 2015

Remove bad assertion; check for null segment pointer that might be returned... · 617ccb41

clc5q authored 9 years ago

Remove bad assertion; check for null segment pointer that might be returned from IRDB before dereferencing.

Former-commit-id: 73f02c6b3396d18c43bc8e6335574aab4d4db335

617ccb41

Jul 17, 2015

changes to support windows binaries, which includes printing offsets as 64-bit... · f75afba2

jdh8d authored 9 years ago

changes to support windows binaries, which includes printing offsets as 64-bit values, and ensuring STARS_ea_t is used instead of std::size_t.

Former-commit-id: 87f7a5d2ed6891a1548edad02b491ffb823d76ac

f75afba2

Jul 10, 2015
- Begin infrastructure for analyzing indirect memory write safety. · deabcd3f
  clc5q authored 9 years ago
  
  Former-commit-id: 1fa1759f36818bbae333e7557e2374aeea767206
  deabcd3f
Jul 08, 2015

Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the... · 1bb50ef1

clc5q authored 9 years ago

Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the results will be available for unsafe function analysis.

Former-commit-id: b0415c9055d65e644189798ced06e451ac018a21

1bb50ef1

Jul 07, 2015
- Eliminate more address range checks, isolate others into IDA Pro derived classes. · a1bbf7af
  clc5q authored 9 years ago
  
  Former-commit-id: 3f9d857e5454b025e7724576114d9c5b759ebc4c
  a1bbf7af
Jun 15, 2015
- Reduce spurious ERROR messages in log files. · 39ebb467
  clc5q authored 9 years ago
  
  Former-commit-id: fadc984b956ed66bfc2e36d817cdb8bfaa0a70d0
  39ebb467
Jun 12, 2015
- Add timings, reduce debug output. · fae8f63a
  clc5q authored 9 years ago
  
  Former-commit-id: 6032fad5ae590c0692688c119cdba6bc92e2549d
  fae8f63a
Jun 11, 2015
- Add timing output for analysis phases. · a7bc1d07
  clc5q authored 9 years ago
  
  Former-commit-id: 4f3e70021a2b509b80db0caf8c99b2141896333f
  a7bc1d07
May 20, 2015
- Remove IDA Pro header includes from two more files. · b25439b1
  clc5q authored 9 years ago
  
  Former-commit-id: 4e7fc71694815d88dca851e2414f80821b902db2
  b25439b1
May 19, 2015
- Final removal of idapro includes from common modules and build script debugging. · 559695bf
  clc5q authored 9 years ago
  
  Former-commit-id: 70bf1bd47cdb72e782495d3c8f008fc766d1edea
  559695bf
May 10, 2015
- Eliminate final IDA Pro includes from common modules. · 55fba161
  clc5q authored 9 years ago
  
  Former-commit-id: 51dec0b66b9af14755e43fce8ee791b082c074b4
  55fba161
May 07, 2015
- Finish abstraction of IDA Pro xrefs queries. · c1f5bc7e
  clc5q authored 9 years ago
  
  Former-commit-id: 84d3934f46b0a8b7bfda74a11c23cf49de81545c
  c1f5bc7e
May 04, 2015
- Migrate or eliminate conditionally compiled code in common modules. · 5dfb230b
  clc5q authored 9 years ago
  
  Former-commit-id: 67b81cd29422cdcd43727873f8db13f6d68329c5
  5dfb230b
Apr 30, 2015

Reduce SMPStaticAnalyzer module to an IDA Pro driver; reduce use of IDA Pro... · 474105b7

clc5q authored 9 years ago

Reduce SMPStaticAnalyzer module to an IDA Pro driver; reduce use of IDA Pro types in common modules.

Former-commit-id: d78319e21cb81dc6c03e956074ea12fb25ccc5e2

474105b7

Apr 19, 2015
- Massive conversion of IDA Pro op_t to STARS_op_t and related changes. · c8196253
  clc5q authored 9 years ago
  
  Former-commit-id: ab0514212c7a70e3c03bb6c29ff2fdcb0d23d6f6
  c8196253
Feb 15, 2015
- Phase out direct reference to IDA op_t type to prepare for IRDB version. · 463f16ee
  clc5q authored 10 years ago
  
  Former-commit-id: b99a81be26aa9434f49e4afcb107abe45cf019b3
  463f16ee
Jan 23, 2015

Fix ConditionalMeetType to operate on zeroed stack locations as it does on... · c7edc319

clc5q authored 10 years ago

Fix ConditionalMeetType to operate on zeroed stack locations as it does on zeroed registers, when other USEs are all UNINIT.

Former-commit-id: 169fa0825a2bd7c04eb40d3da9b1363942616e42

c7edc319

Jan 19, 2015
- Add FUNC INARGS annotations for CGC and other uses. · 3b90841e
  clc5q authored 10 years ago
  
  Former-commit-id: 4d3a4b1568426ea972afe922ddb1fb552af6775d
  3b90841e
Jan 18, 2015
- Add FUNC RETURNTYPE annotation for CGC and other uses. · 160a75c4
  clc5q authored 10 years ago
  
  Former-commit-id: 02a7ecb489a39f5a44077abbdad3ee4332f329db
  160a75c4
Jan 14, 2015
- Eliminate use of block number as pseudo-addr for Phi DEFs in data flow analyses. · 865ff2a1
  clc5q authored 10 years ago
  
  Former-commit-id: df0ca842b58165a2cbbd8475acfb128eaa531662
  865ff2a1