Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
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
Created with Raphaël 2.2.022Apr2116925Mar221815113128Feb272625242221191712109115Jan117128Dec272521171615128754326Nov252120191412130Oct231311654229Sep282421201814139828Aug272524232215May29Apr29Jan1417Dec12109754324Oct93230Sep1Oct19Sep1817141365415Aug983230Jul2216630May282320632129Apr232017121110983221Mar19425Feb24232116121197653131Jan29282725171297431Dec2827242318151412753130Nov292826232019161376227Oct26241916986528Sep25222118754326Aug13107531Jul2624212025Jun864127May221918171617161512109720Apr1914128643122Mar17128Feb27242322211916151410129Jan19Dec530Nov2Oct8Sep28Aug2321111084327Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29Changes 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"Revert "Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzer"Merge branch 'master' of git.zephyr-software.com:opensrc/SMPStaticAnalyzerUpdates for ubuntu20's compilerSPARK: Improvements to FindSingleExpression() and short-circuit expression translation.Recognize xorps and xorpd of an SSE reg with itself as a register clearing idiom.SPARK: Use flags reg at top of short circuit expr; parenthesize subexprs.Update path to peasoupUpdated pragmas for older OSsUpdates for ubuntu20Update for ubuntu20SPARK: CLONING 10: Clone to fix FTNotDominated and FTDeadEnd combination.SPARK: CLONING 9: Clone to solve NFTNotDominated and NFTDeadEnd combination.SPARK: CLONING 8: regular IfThen dominance problem.SPARK: CLONING 7 for OddIfThen dominance problem.SPARK: Implement another double cloning for structuring unstructured conditionals.Avoid crashing on bad stack access code caused by LAF transform.Prevent crash in Dump() method.Increase debugging output on fatal error for stack access table builder.submodSPARK: Cloning expansion and fixes.Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzerUpdate tests to grab idaSPARK: Expand cloning beyond FT or NFT block heads.SPARK: Implement double cloning (two paths at once).SPARK: Cloning fixes.SPARK: Cloning fixes.Update scons to build ida version only if IDA vars are set.Merge branch 'master' of git.zephyr-software.com:allnp/SMPStaticAnalyzer
Loading