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.016Aug151311127Jul252322164128Jun262120142123Apr228Mar121Feb27Dec24137Nov430Oct2814Sep22Jul23Jun1917954322May125Apr222116925Mar221815113128Feb272625242221191712109115Jan117128Dec272521171615128754326Nov252120191412130Oct231311654229Sep282421201814139828Aug272524232215May29Apr29Jan1417Dec12109754324Oct93230Sep1Oct19Sep1817141365415Aug983230Jul2216630May282320632129Apr232017121110983221Mar19425Feb24232116121197653131Jan29282725171297431Dec2827242318151412753130Nov292826232019161376227Oct26241916986528Sep25222118754326Aug13107531Jul2624212025Jun864127May221918171617161512109720Apr1914128643122Mar17128Feb27242322211916151410129Jan19Dec530Nov2Oct8Sep28Aug2321111084327Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765Enhance debugging output in DetectLoops().Increase debugging output in SetLinks().Improve ClassifyLoop() debugging output.Fix RTLs for cpuid opcode (output regs EBX and ECX).Do not emit *.gv files unless STARS is translating to SPARK Ada.Fix reg USE list on cpuid opcode.Code cleanup.faster_deadregsfaster_deadregsAdd shell script for use of FastDeadregs mode in STARS/IDA.Merge branch 'faster_deadregs' into 'master'Enable FastDeadRegs mode in STARS-IRDB.Add DEADREGS to SMPInstr:Dump() output.Fixes for fast DEADREGS operation.Short circuiting analyses not needed for DEADREGS annotations.Phase ordering to reduce dependencies for DEADREGS annotations.Emit CODEPTR and DATAPTR annotations for lea opcodes if type inference succeeds.Add 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.
Loading