Skip to content
Snippets Groups Projects
Select Git revision
  • 27-need-ubuntu20-testing
  • 28-stars-assertion-in-accessabovelocalframe
  • 30-erroneous-assert
  • SMP_clc5q
  • aware-sw-delivery
  • cfar_phase1_final_release
  • cfar_phase2_3rdquarter_release
  • cfar_phase2_final_release
  • cfar_phase2_midterm_release
  • cfar_phase3_midterm_release
  • cfar_release
  • cgc-sw-deliverables
  • cgc_dev
  • ewb3e_development
  • faster_deadregs
  • improve-data-source-tracing
  • infinite_loop_fix
  • instfallthrough
  • master default
  • p2-tne-bug-fixes
  • cfar-phase3-final
  • CFAR_AEI
  • CfarJuly2018Eval
  • pre-las-vegas
  • SCCP_12NOV2013
  • fast_metadata_02SEP2013
  • call_graph_priority_27AUG2013
  • remove_DU_chains_21AUG2013
  • alias_analysis_19AUG2013
  • alias_analysis_17AUG2013
  • duchain_data_structures_25JUL2013
  • stonesoup-phase2-tne-release
  • IDA64_28JUN2013
  • hashing_lea_addition_26JUN2013
  • IDIOM_23_21JUN2013C
  • truncation_signedness_21JUN2013
  • IDIOM_21_bitwise_not_17JUN2013B
  • IDIOM_20_memory_reduction_17JUN2013
  • deadregs_bitset_14JUN2013B
  • scaled_indexreg_not_unsigned_14JUN2013
40 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.04Jul128Jun262120142123Apr228Mar121Feb27Dec24137Nov430Oct2814Sep22Jul23Jun1917954322May125Apr222116925Mar221815113128Feb272625242221191712109115Jan117128Dec272521171615128754326Nov252120191412130Oct231311654229Sep282421201814139828Aug272524232215May29Apr29Jan1417Dec12109754324Oct93230Sep1Oct19Sep1817141365415Aug983230Jul2216630May282320632129Apr232017121110983221Mar19425Feb24232116121197653131Jan29282725171297431Dec2827242318151412753130Nov292826232019161376227Oct26241916986528Sep25222118754326Aug13107531Jul2624212025Jun864127May221918171617161512109720Apr1914128643122Mar17128Feb27242322211916151410129Jan19Dec530Nov2Oct8Sep28Aug2321111084327Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec272517161514Add debug form of macro (inactive); handle new opcodes.Add more debugging output; fix disasm error.Merge branch 'debug_palignr' into 'master'Add debugging output for palignr operands.Convert default arg of SMPFunction::Dump() to explicit arg; add assertions to debug palignr operand issues.Emit diagnostics before assertion failure.Handle calls to external funcs cleanly; handle corner case of leaf func with pushes but no local frame with access below stack ptr.Prevent assertion failures.Fix assertion failure.Merge branch 'ubuntu22-support' into 'master'Ubuntu22 support30-erroneous-as…30-erroneous-assertFix typos in asserts.SPARK: Handle loop exit targets that are JumpOnly blocks in FindMultiLoopContinue().IDA Pro 7.6 opcode updates; reduce SPARK work done in non-SPARK-translation runs.Increase info in the CFG graph output files *.gv.SPARK conditional statement analysis and cloning fixes.Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzerFixing versioning checkSPARK translation fixes.SPARK: Translation fixes and DumpDotCFG() enhancements.SPARK: Add loop invariant relating BIV to its entry value.Fix Windows line endings; minor debugging code tweak.Fix issue 28 assertion error on indexed EBP-relative operands when testing for accesses above the stack frame.Merge branch 'SPARKwork' into 'master'SPARK fixes.Change to deal with un-normalized defs in LEA28-stars-assert…28-stars-assertion-in-accessabovelocalframeUpdate libehpSPARK: Loop contracts fixes.SPARK: small fixes plus indentation fixes.SPARK: Improvements in nested conditionals and indentation; fix errors in MultiExitTarget loop translation.SPARK: Minor translation improvements on jump-only loop exit target blocks.Add LICENSEDelete LICENSE.txtSpeedup via caching getenv() results.Merge branch 'master' of https://git.zephyr-software.com/opensrc/SMPStaticAnalyzerFix late crash in IDAP_term() when plugin is terminating by avoiding calls to SMP_msg().Update test to allow 19 or 20 IBT's to deal with IDA-failings on Ubuntu2027-need-ubuntu2…27-need-ubuntu20-testingAdd ubuntu20 testingFix typo in testing for gcc>=8Make pragmas depend on GCC versions to avoid compilation errors.