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.027Dec24137Nov430Oct2814Sep22Jul23Jun1917954322May125Apr222116925Mar221815113128Feb272625242221191712109115Jan117128Dec272521171615128754326Nov252120191412130Oct231311654229Sep282421201814139828Aug272524232215May29Apr29Jan1417Dec12109754324Oct93230Sep1Oct19Sep1817141365415Aug983230Jul2216630May282320632129Apr232017121110983221Mar19425Feb24232116121197653131Jan29282725171297431Dec2827242318151412753130Nov292826232019161376227Oct26241916986528Sep25222118754326Aug13107531Jul2624212025Jun864127May221918171617161512109720Apr1914128643122Mar17128Feb27242322211916151410129Jan19Dec530Nov2Oct8Sep28Aug2321111084327Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130NovMerge 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.Changes for Ubuntu 20 compilation of IDA Pro 7.6 service pack 1.Minor edits to support IDA Pro 7.6.Updates to interface with IDA Pro 7.5.Restore inadvertent code deletion.Changes to handle IDA Pro 7.5 interface change.Submodule updated automatically on gitlabrunnerxenial at Wed Apr 21 00:00:09 UTC 2021Fix assertion failure in fib.exe move_globals test.Improve loop iteration analysis by handling loops with multiple exiting blocks.Improve loop induction var analysis by tracing a BIV through spill/unspill in a loop.Handle new opcodes from IDA Pro 7.5.SPARK: Translate LOOP opcodes and rdrand/rdseed opcodes.Update for old compilersUpdate pragmas to allow old compiler to accept new pragmas.Revert "Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer""Update path to ziprRevert "Updates for ubuntu20's compiler"