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.030Oct231311654229Sep282421201814139828Aug272524232215May29Apr29Jan1417Dec12109754324Oct93230Sep1Oct19Sep1817141365415Aug983230Jul2216630May282320632129Apr232017121110983221Mar19425Feb24232116121197653131Jan29282725171297431Dec2827242318151412753130Nov292826232019161376227Oct26241916986528Sep25222118754326Aug13107531Jul2624212025Jun864127May221918171617161512109720Apr1914128643122Mar17128Feb27242322211916151410129Jan19Dec530Nov2Oct8Sep28Aug2321111084327Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29271918171615141312119853128Sep2625242120191816111097531Aug282624171198765SPARK: Prep work for translating loops with multiple follow blocks.SPARK: Prep work for loops with multiple follow blocks.SPARK: Handle wide operands (128+ bits).SPARK: Translate boundary cases of switch statements.SPARK: Ensure translation and marking of switch INDIR_JUMP instruction.SPARK: More precise analysis of loop exit to fix SHORT_CIRCUIT_LOOP_EXIT classification errors.SPARK: Fix SHORT_CIRCUIT_BRANCHes that were misclassified as SHORT_CIRCUIT_LOOP_EXITs.SPARK: Clone StaysInLoop code to corner case CurrBlock->HasLoopHeadWithInvertedExitAsSuccessor().SPAR: Fix boundary case in detecting unstructured conditionals.SPARK: Add INVERTED_LOOP_BACK type, detect it, follow its successor when StaysInLoop is true.SPARK: Translate fall-through block after conditional tail call.SPARK: Add verbose env var; add StaysInLoop logic for LOOP_EXIT as was done for LOOP_BACK.SPARK: Use StaysInLoop logic for tail block fall-throughs in one more place; reduce loop expr log file output.SPARK fix; debugging enhancements.Fix IsInstIDInFunc() for chunked code layout functions.SPARK: Find unstructured if-then-else statements.SPARK: Translate structured loop_continue code; mark unstructured cases as untranslatable.Begin identifying C/C++ loop continue statement code patterns for SPARK translation.SPARK: Translate code after conditional in guarded loop that is being skipped.SPARK: Handle INDIR_CALL at end of block.Handle COND_BRANCH on sign bit values in SPARK translation.SPARK translation for signed compare followed by unsigned conditional branch.SPARK translation improvements and crash fixes.Use STATICMEMREAD info annotations instead of lumping reads in with STATICMEMWRITE.SPARK Ada translation fixes.SPARK crash fixes for sks and mplayer binaries.More fixes for SPARK translation crashes on large files.SPARK crash fixes.Fix firefox crash on SPARK output.Crash fix: Handle COND_BRANCH back to entry of function in finding stack adjustments.Fix crashes on SPARK translation of large binaries.Submodule updated automatically on mega-techx36 at Fri May 15 01:30:02 UTC 2020Submodule updated automatically on mega-techx36 at Wed Apr 29 01:30:13 UTC 2020Improve debugging output.Add dot CFG output; add debugging output; fix for stack pointer analysis on recursive functions.Use IDA Pro is_dll() method as preferred way to detect shared objects.Don't try to find code addresses in shared data for shared objects, DLLs and archives for STARS/IDA Pro.Fixes for stack pointer analysis corner cases.submodSubmodule updated automatically on gitlabrunnerbionic at Sat Dec 7 01:30:27 UTC 2019
Loading