summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-05-14Refactored code works in mcferick/type-escape-analysis-mergeErick Ochoa
2020-05-14Merge branch 'erick/type-escape-analysis-refactor' into erick/type-escape-ana...Erick Ochoa
2020-05-14Adds globalsErick Ochoa
2020-05-14Adds fuzz modeErick Ochoa
2020-05-14add collecting types for GIMPLE_RETURNErick Ochoa
2020-05-14fuzzing type collectorErick Ochoa
2020-05-14working on escape analysisErick Ochoa
2020-05-14renames hello-world pass to escape-analysisErick Ochoa
2020-05-14Fix inlinesErick Ochoa
2020-05-14Successfully understand how incomplete types are comparedErick Ochoa
2020-05-14Proof for incomplete type structural inequalityErick Ochoa
2020-05-14Add test case 00Erick Ochoa
2020-05-14Filtering out types based on cliErick Ochoa
2020-05-14Adds ability to use only specified comparison functionsErick Ochoa
2020-05-14FixesErick Ochoa
2020-05-14Type playground performs comparisonsErick Ochoa
2020-05-14Adds passes to print type namesErick Ochoa
2020-05-14wipErick Ochoa
2020-05-14wipErick Ochoa
2020-05-14Adds compare typesErick Ochoa
2020-05-14experiment with aliasErick Ochoa
2020-05-14Fixes problem with escape analysis in lbmErick Ochoa
2020-05-14reduce loggingErick Ochoa
2020-05-14returnErick Ochoa
2020-05-14Fixes several testsErick Ochoa
2020-05-14Add const testErick Ochoa
2020-05-14Fixes bugErick Ochoa
2020-05-14Adds testErick Ochoa
2020-05-14Dealing with eliminating writes to elimited fields when they are the only gim...Erick Ochoa
2020-05-14Fixes getting parameter types during escape analysisErick Ochoa
2020-05-14Recurses down component refErick Ochoa
2020-05-14Adds csmith test #5Erick Ochoa
2020-05-14Fixes csmith test #4Erick Ochoa
2020-05-14Fixes bug #3 found by csmithErick Ochoa
2020-05-14Adds test case for bug #3 found by csmithErick Ochoa
2020-05-14Fixes bug #3 obtained via csmithErick Ochoa
2020-05-14Fixes bug #2 found by creduceErick Ochoa
2020-05-14Fixing test case found by creduceErick Ochoa
2020-05-14Fixes infinite loop bug correctlyErick Ochoa
2020-05-14Fixes nasty infinite loop bugErick Ochoa
2020-05-14blacklisting memsetErick Ochoa
2020-05-14memset blacklisting about to beginErick Ochoa
2020-05-14wipErick Ochoa
2020-05-14Looks at GIMPLE_CALL for field accessesErick Ochoa
2020-05-14First prototype for escape analysisErick Ochoa
2020-05-14wipErick Ochoa
2020-05-14wipErick Ochoa
2020-05-14Determines which fields can be deletedErick Ochoa
2020-05-14Adds gimple conditional testErick Ochoa
2020-05-14Pointer reads and pointer writesErick Ochoa