在使用插件分析if-条件时,我有以下问题.当我分析代码时Frama创建如下代码: if (b){
goto _LOR;对于我的分析,我想得到控制流,而不分裂的条件,这样一个语句保留。我想要这样做,因为通过拆分条件,_LOR的到达仅取决于或部分。示例:如开发人员指南的viewcfg插件中所示,创建CFG将
因此,我有一个带有选择框的.cshtml页面,基于所选的选项,我希望有条件地呈现一个或另一个div。有没有一种方法只利用.cshtml中的代码就可以做到这一点,而不必重新引用控制器或模型?<div>Render this Div</div> else <div>Render this one</div>
</div> 在条件语句<