Commits · 38ef90a3e7c49b3e186d21ae0a64e09eb4d2adb9 · Open Source Software / SMPStaticAnalyzer

Feb 22, 2016
- Begin using new SMPFunction::FindShadowingPoint2 method. · 6e97c806
  clc5q authored 9 years ago
  
  Former-commit-id: 677a1fd5e80131cc897f763437d42231b066f9da
  6e97c806
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
Nov 30, 2015
- Constrain code xrefs to the real code range, not including XTRN segments. · 35ccd8e0
  clc5q authored 9 years ago
  
  Former-commit-id: 0dbc2a10bd350e98f165b3c7b74bd82f3357e362
  35ccd8e0
Nov 25, 2015
- Mark mutually recursive funcs; output postconditions for preserved regs. · bc382ff0
  clc5q authored 9 years ago
  
  Former-commit-id: 5ddb7481bebc56fd4cdc115971c25c127c07a894
  bc382ff0
Oct 17, 2015
- Build RTLs earlier and solve resulting phase ordering issues. · 46016d1d
  clc5q authored 9 years ago
  
  Former-commit-id: 2dcaddb490df7b6b6e263b572c51183c44514091
  46016d1d
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 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  
  Former-commit-id: e4fcf957b283ada96f8632f0f709967591925dd5
  acc384cb
Jul 31, 2015
- Remove unused code and data structures relating to stack frame analysis. · ee13424e
  clc5q authored 9 years ago
  
  Former-commit-id: e8009d6f79c6975a214759701572242591c12e80
  ee13424e
Jun 29, 2015
- Continue prep work for IRDB coding. · 24760d72
  clc5q authored 9 years ago
  
  Former-commit-id: fba25ec3ef380b26c9a69ff8a793583a1a434082
  24760d72
May 25, 2015
- Updates to get irdb version to build! · 95f3eda3
  jdh8d authored 9 years ago
  
  Former-commit-id: 37dbd4ccea75ee2a8cdb125db9d296a45071b9fd
  95f3eda3
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 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
Nov 26, 2014
- First full version with an interface · aad0953e
  jdh8d authored 10 years ago
  
  aad0953e
Nov 25, 2014
- First update to restructuring · b2331b07
  jdh8d authored 10 years ago
  
  b2331b07
Nov 19, 2014
- Remove blocks with call 0 instructions; re-compute SSA after removal. · f60c5b75
  clc5q authored 10 years ago
  
  f60c5b75
Nov 18, 2014

Start work on removing dead blocks with call 0 instructions; move SCCP... · 80a0cbdc

clc5q authored 10 years ago

Start work on removing dead blocks with call 0 instructions; move SCCP analysis to earlier phase right after SSA construction.

80a0cbdc

Oct 21, 2014
- Process *.eh_frame_addrs file. · 7f17c255
  clc5q authored 10 years ago
  
  7f17c255
Oct 15, 2014
- Reduce memory consumption for wireshark and other huge binaries; clean up code. · a5dea8bc
  clc5q authored 10 years ago
  
  a5dea8bc
Oct 13, 2014
- Find data to code xrefs and mark functions unsafe for fast returns. · ba4703ca
  clc5q authored 10 years ago
  
  ba4703ca
Sep 23, 2014

Emit basic annotations and STARScallreturn annotations for unreachable,... · feef6bb4

clc5q authored 10 years ago

Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

feef6bb4

Apr 22, 2014
- 64-bit reg names in mul/div/lea PEASOUP annotations; early work on whole-program data structures. · 02bbd5e6
  clc5q authored 10 years ago
  
  02bbd5e6
Apr 01, 2014
- Fix call graph processing order; plus minor OUTARGS fix. · 990fee17
  clc5q authored 11 years ago
  
  990fee17
Feb 22, 2013
- Analysis of stack pointer deltas and stack location accesses. · 604fc5c9
  clc5q authored 12 years ago
  
  View commits for tag stack_pointer_analysis_21FEB2013 stack_pointer_analysis_21FEB2013
  
  604fc5c9
Nov 30, 2012
- Continuing disassembly improvements. · d175c214
  clc5q authored 12 years ago
  
  View commits for tag disasm_29NOV2012 disasm_29NOV2012
  
  d175c214
Nov 21, 2012
- Partial completion of stack pointer delta analysis; reordering analyses for optimal sequence. · 1be57226
  clc5q authored 12 years ago
  
  View commits for tag phase_ordering_21NOV2012 phase_ordering_21NOV2012
  
  1be57226
Oct 30, 2012
- Prep work for whole program analyses from the call graph leaves upward. · ba501315
  clc5q authored 12 years ago
  
  View commits for tag global_analysis_prep_30OCT2012 global_analysis_prep_30OCT2012
  
  ba501315
Sep 18, 2012
- Operate through new middleware module SMPDBInterface instead of directly through IDA Pro SDK. · 39c0fa15
  clc5q authored 12 years ago
  
  39c0fa15
Apr 16, 2012
- Infer immediate pointers are UNSIGNED; handle bit test opcodes. · e9b7670d
  clc5q authored 12 years ago
  
  View commits for tag unsigned_immed_ptrs_15APR2012 unsigned_immed_ptrs_15APR2012
  
  e9b7670d
Oct 25, 2011
- Major portion of work to analyze signedness and width of operands. · d644005f
  clc5q authored 13 years ago
  
  View commits for tag integer_errors_1 integer_errors_1
  
  d644005f
Sep 23, 2011
- Free global static data table memory early to reduce memory consumption. · f5446273
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_23SEP2011 memory_reduction_23SEP2011
  
  f5446273
- Reduce memory consumption. · be9a1e67
  clc5q authored 13 years ago
  
  View commits for tag memory_reduction_22SEP2011 memory_reduction_22SEP2011
  
  be9a1e67
May 13, 2011
- Conform to IDA Pro API; avoid obsoleted functions. · 8f3fdd35
  clc5q authored 13 years ago
  
  View commits for tag idapro_api idapro_api
  
  8f3fdd35
Apr 19, 2011
- Eliminate compiler warnings and valgrind memcheck error; remove incomplete SBIR code. · 0f2d557b
  clc5q authored 13 years ago
  
  0f2d557b
Mar 30, 2011
- Added copyright notices · 9f2d1d14
  jdh8d authored 14 years ago
  
  9f2d1d14
Mar 16, 2010
- Continue interprocedural framework; only analyze metadata if SSA info is present. · c37e2665
  clc5q authored 15 years ago
  
  View commits for tag alias_analysis_3 alias_analysis_3
  
  c37e2665
Jan 06, 2010
- Disable BLOCK PROFILECOUNT annot temporarily; start ComputeGlobalSets() infrastructure. · 927a5e2d
  clc5q authored 15 years ago
  
  View commits for tag block_profile_2 block_profile_2
  
  927a5e2d
Aug 07, 2008
- Clear up fine grained false positives from accesses to multiple stack frames from one inst. · 7a97c978
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity9 profiled_granularity9
  
  7a97c978
Jul 16, 2008
- Emit CHILDACCESS annotations. · f274b22b
  clc5q authored 16 years ago
  
  View commits for tag profiled_granularity2 profiled_granularity2
  
  f274b22b