|
| 1 | +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| 2 | +<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US"> |
| 3 | +<head> |
| 4 | +<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> |
| 5 | +<meta http-equiv="X-UA-Compatible" content="IE=11"/> |
| 6 | +<meta name="generator" content="Doxygen 1.9.8"/> |
| 7 | +<meta name="viewport" content="width=device-width, initial-scale=1"/> |
| 8 | +<title>PhASAR: include/phasar/Pointer/AliasAnalysisType.def Source File</title> |
| 9 | +<link href="tabs.css" rel="stylesheet" type="text/css"/> |
| 10 | +<script type="text/javascript" src="jquery.js"></script> |
| 11 | +<script type="text/javascript" src="dynsections.js"></script> |
| 12 | +<link href="search/search.css" rel="stylesheet" type="text/css"/> |
| 13 | +<script type="text/javascript" src="search/searchdata.js"></script> |
| 14 | +<script type="text/javascript" src="search/search.js"></script> |
| 15 | +<script type="text/x-mathjax-config"> |
| 16 | +MathJax.Hub.Config({ |
| 17 | + extensions: ["tex2jax.js"], |
| 18 | + jax: ["input/TeX","output/HTML-CSS"], |
| 19 | +}); |
| 20 | +</script> |
| 21 | +<script type="text/javascript" async="async" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js"></script> |
| 22 | +<link href="doxygen.css" rel="stylesheet" type="text/css" /> |
| 23 | +</head> |
| 24 | +<body> |
| 25 | +<div id="top"><!-- do not remove this div, it is closed by doxygen! --> |
| 26 | +<div id="titlearea"> |
| 27 | +<table cellspacing="0" cellpadding="0"> |
| 28 | + <tbody> |
| 29 | + <tr id="projectrow"> |
| 30 | + <td id="projectlogo"><img alt="Logo" src="Phasar_Logo.png"/></td> |
| 31 | + <td id="projectalign"> |
| 32 | + <div id="projectname">PhASAR<span id="projectnumber"> 2510@development</span> |
| 33 | + </div> |
| 34 | + <div id="projectbrief">A LLVM-based Static Analysis Framework</div> |
| 35 | + </td> |
| 36 | + </tr> |
| 37 | + </tbody> |
| 38 | +</table> |
| 39 | +</div> |
| 40 | +<!-- end header part --> |
| 41 | +<!-- Generated by Doxygen 1.9.8 --> |
| 42 | +<script type="text/javascript"> |
| 43 | +/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| 44 | +var searchBox = new SearchBox("searchBox", "search/",'.html'); |
| 45 | +/* @license-end */ |
| 46 | +</script> |
| 47 | +<script type="text/javascript" src="menudata.js"></script> |
| 48 | +<script type="text/javascript" src="menu.js"></script> |
| 49 | +<script type="text/javascript"> |
| 50 | +/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| 51 | +$(function() { |
| 52 | + initMenu('',true,false,'search.php','Search'); |
| 53 | + $(document).ready(function() { init_search(); }); |
| 54 | +}); |
| 55 | +/* @license-end */ |
| 56 | +</script> |
| 57 | +<div id="main-nav"></div> |
| 58 | +<script type="text/javascript"> |
| 59 | +/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| 60 | +$(document).ready(function() { init_codefold(0); }); |
| 61 | +/* @license-end */ |
| 62 | +</script> |
| 63 | +<!-- window showing the filter options --> |
| 64 | +<div id="MSearchSelectWindow" |
| 65 | + onmouseover="return searchBox.OnSearchSelectShow()" |
| 66 | + onmouseout="return searchBox.OnSearchSelectHide()" |
| 67 | + onkeydown="return searchBox.OnSearchSelectKey(event)"> |
| 68 | +</div> |
| 69 | + |
| 70 | +<!-- iframe showing the search results (closed by default) --> |
| 71 | +<div id="MSearchResultsWindow"> |
| 72 | +<div id="MSearchResults"> |
| 73 | +<div class="SRPage"> |
| 74 | +<div id="SRIndex"> |
| 75 | +<div id="SRResults"></div> |
| 76 | +<div class="SRStatus" id="Loading">Loading...</div> |
| 77 | +<div class="SRStatus" id="Searching">Searching...</div> |
| 78 | +<div class="SRStatus" id="NoMatches">No Matches</div> |
| 79 | +</div> |
| 80 | +</div> |
| 81 | +</div> |
| 82 | +</div> |
| 83 | + |
| 84 | +<div id="nav-path" class="navpath"> |
| 85 | + <ul> |
| 86 | +<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_05d093d0ed3722b9a30705a9449fa665.html">phasar</a></li><li class="navelem"><a class="el" href="dir_58a8bb8411baaae7f5177ea38c71ea73.html">Pointer</a></li> </ul> |
| 87 | +</div> |
| 88 | +</div><!-- top --> |
| 89 | +<div class="header"> |
| 90 | + <div class="headertitle"><div class="title">AliasAnalysisType.def</div></div> |
| 91 | +</div><!--header--> |
| 92 | +<div class="contents"> |
| 93 | +<a href="AliasAnalysisType_8def.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno"> 1</span>/******************************************************************************</div> |
| 94 | +<div class="line"><a id="l00002" name="l00002"></a><span class="lineno"> 2</span> * Copyright (c) 2022 Philipp Schubert.</div> |
| 95 | +<div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span> * All rights reserved. This program and the accompanying materials are made</div> |
| 96 | +<div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span> * available under the terms of LICENSE.txt.</div> |
| 97 | +<div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span> *</div> |
| 98 | +<div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span> * Contributors:</div> |
| 99 | +<div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span> * Philipp Schubert and others</div> |
| 100 | +<div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span> *****************************************************************************/</div> |
| 101 | +<div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span> </div> |
| 102 | +<div class="line"><a id="l00010" name="l00010"></a><span class="lineno"> 10</span>#ifndef ALIAS_ANALYSIS_TYPE</div> |
| 103 | +<div class="line"><a id="l00011" name="l00011"></a><span class="lineno"> 11</span>#define ALIAS_ANALYSIS_TYPE(NAME, CMDFLAG, DESC)</div> |
| 104 | +<div class="line"><a id="l00012" name="l00012"></a><span class="lineno"> 12</span>#endif</div> |
| 105 | +<div class="line"><a id="l00013" name="l00013"></a><span class="lineno"> 13</span> </div> |
| 106 | +<div class="line"><a id="l00014" name="l00014"></a><span class="lineno"> 14</span>ALIAS_ANALYSIS_TYPE(Basic, "basic", "Basic LLVM alias resolving based on simple, local properties")</div> |
| 107 | +<div class="line"><a id="l00015" name="l00015"></a><span class="lineno"> 15</span>ALIAS_ANALYSIS_TYPE(CFLSteens, "cflsteens", "Steensgaard-style alias analysis (equality-based)")</div> |
| 108 | +<div class="line"><a id="l00016" name="l00016"></a><span class="lineno"> 16</span>ALIAS_ANALYSIS_TYPE(CFLAnders, "cflanders", "Andersen-style alias analysis (subset-based) (default)")</div> |
| 109 | +<div class="line"><a id="l00017" name="l00017"></a><span class="lineno"> 17</span>ALIAS_ANALYSIS_TYPE(PointsTo, "points-to", "Alias-information based on (external) points-to information")</div> |
| 110 | +<div class="line"><a id="l00018" name="l00018"></a><span class="lineno"> 18</span> </div> |
| 111 | +<div class="line"><a id="l00019" name="l00019"></a><span class="lineno"> 19</span>#ifdef PHASAR_USE_SVF</div> |
| 112 | +<div class="line"><a id="l00020" name="l00020"></a><span class="lineno"> 20</span>ALIAS_ANALYSIS_TYPE(SVFDDA, "svf-dda", "Alias-information based on SVF's ContextDDA analysis. Requires SVF.")</div> |
| 113 | +<div class="line"><a id="l00021" name="l00021"></a><span class="lineno"> 21</span>ALIAS_ANALYSIS_TYPE(SVFVFS, "svf-vfs", "Alias-information based on SVF's VersionedFlowSensitive analysis. Requires SVF.")</div> |
| 114 | +<div class="line"><a id="l00022" name="l00022"></a><span class="lineno"> 22</span>#endif</div> |
| 115 | +<div class="line"><a id="l00023" name="l00023"></a><span class="lineno"> 23</span> </div> |
| 116 | +<div class="line"><a id="l00024" name="l00024"></a><span class="lineno"> 24</span>#undef ALIAS_ANALYSIS_TYPE</div> |
| 117 | +</div><!-- fragment --></div><!-- contents --> |
| 118 | +<!-- start footer part --> |
| 119 | +<hr class="footer"/><address class="footer"><small> |
| 120 | +Generated on Sun Mar 29 2026 18:02:30 for PhASAR by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8 |
| 121 | +</small></address> |
| 122 | +</body> |
| 123 | +</html> |
0 commit comments