-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
18 lines (17 loc) · 17.6 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
<!DOCTYPE html>
<html><!-- Mirrored from project5176507.tilda.ws/page25425349.html by HTTrack Website Copier/3.x [XR&CO'2014], Mon, 07 Feb 2022 22:53:56 GMT --><!-- Added by HTTrack --><head><meta http-equiv="content-type" content="text/html; charset=UTF-8"><!-- /Added by HTTrack -->
<meta charset="utf-8"><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><!--metatextblock--><title>V# symbolic execution engine</title><meta name="description" content="V# symbolic execution engine"><meta property="og:url" content="page25425349.html"><meta property="og:title" content="V# symbolic execution engine"><meta property="og:description" content="V# symbolic execution engine"><meta property="og:type" content="website"><meta property="og:image" content="https://static.tildacdn.info/tild6664-3937-4530-b639-363130366234/-/resize/504x/vsharp_logo-removebg.png"><link rel="canonical" href="file:///tmp/site/project5176507.tilda.ws/page25425349.html"><!--/metatextblock--><meta property="fb:app_id" content="257953674358265"><meta name="format-detection" content="telephone=no"><meta http-equiv="x-dns-prefetch-control" content="on"><link rel="dns-prefetch" href="https://ws.tildacdn.com/"><link rel="dns-prefetch" href="https://static.tildacdn.info/"><meta name="robots" content="nofollow"><link rel="shortcut icon" href="index_files/favicon.ico" type="image/x-icon"><!-- Assets --><link rel="stylesheet" href="index_files/tilda-grid-3.css" type="text/css" media="all"><link rel="stylesheet" href="index_files/tilda-blocks-2.css" type="text/css" media="all"><link rel="preconnect" href="https://fonts.gstatic.com/"><link href="index_files/css2.css" rel="stylesheet"><link rel="stylesheet" href="index_files/tilda-animation-1.css" type="text/css" media="all"><link rel="stylesheet" href="index_files/tilda-menusub-1.css" type="text/css" media="all" onload="this.media='all';"><noscript><link rel="stylesheet" href="https://static.tildacdn.info/css/tilda-menusub-1.0.min.css" type="text/css" media="all" /></noscript><link rel="stylesheet" href="index_files/tilda-cover-1.css" type="text/css" media="all"><script type="text/javascript" async="" id="tildastatscript" src="index_files/tilda-stat-1_002.js"></script><script type="text/javascript" async="" id="tildastatscript" src="index_files/tilda-stat-1.js"></script><script src="index_files/jquery-1.js"></script><script src="index_files/tilda-scripts-3.js"></script><script src="index_files/tilda-blocks-2.js"></script><script src="index_files/lazyload-1.js" charset="utf-8" async=""></script><script src="index_files/tilda-animation-1.js" charset="utf-8" async=""></script><script src="index_files/tilda-cover-1.js" charset="utf-8" async=""></script><script src="index_files/tilda-events-1.js" charset="utf-8" async=""></script><script src="index_files/tilda-menusub-1.js" charset="utf-8" async=""></script><script type="text/javascript">window.dataLayer = window.dataLayer || [];</script><script type="text/javascript">if((/bot|google|yandex|baidu|bing|msn|duckduckbot|teoma|slurp|crawler|spider|robot|crawling|facebook/i.test(navigator.userAgent))===false && typeof(sessionStorage)!='undefined' && sessionStorage.getItem('visited')!=='y'){ var style=document.createElement('style'); style.type='text/css'; style.innerHTML='@media screen and (min-width: 980px) {.t-records {opacity: 0;}.t-records_animated {-webkit-transition: opacity ease-in-out .2s;-moz-transition: opacity ease-in-out .2s;-o-transition: opacity ease-in-out .2s;transition: opacity ease-in-out .2s;}.t-records.t-records_visible {opacity: 1;}}'; document.getElementsByTagName('head')[0].appendChild(style); $(document).ready(function() { $('.t-records').addClass('t-records_animated'); setTimeout(function(){ $('.t-records').addClass('t-records_visible'); sessionStorage.setItem('visited','y'); },400); });
}</script><style type="text/css">@media screen and (min-width: 980px) {.t-records {opacity: 0;}.t-records_animated {-webkit-transition: opacity ease-in-out .2s;-moz-transition: opacity ease-in-out .2s;-o-transition: opacity ease-in-out .2s;transition: opacity ease-in-out .2s;}.t-records.t-records_visible {opacity: 1;}}</style><style type="text/css">@media screen and (min-width: 980px) {.t-records {opacity: 0;}.t-records_animated {-webkit-transition: opacity ease-in-out .2s;-moz-transition: opacity ease-in-out .2s;-o-transition: opacity ease-in-out .2s;transition: opacity ease-in-out .2s;}.t-records.t-records_visible {opacity: 1;}}</style></head><body class="t-body" style="margin:0;"><!--allrecords--><div id="allrecords" class="t-records t-records_animated t-records_visible" data-hook="blocks-collection-content-node" data-tilda-project-id="5176507" data-tilda-page-id="25425349" data-tilda-formskey="f525de5764cbbe9a2519390b45176507" data-tilda-lazy="yes"><div id="rec410448336" class="r t-rec" style=" " data-animationappear="off" data-record-type="454"><!-- T454 --><div id="nav410448336marker"></div><div id="nav410448336" class="t454 t454__positionabsolute " style="background-color: rgba(0,0,0,1); height:1px; " data-bgcolor-hex="#000000" data-bgcolor-rgba="rgba(0,0,0,1)" data-navmarker="nav410448336marker" data-appearoffset="" data-bgopacity-two="" data-menushadow="" data-bgopacity="1" data-menu-items-align="" data-menu="yes"> <div class="t454__maincontainer t454__c12collumns" style="height:1px;"> <div class="t454__logowrapper"> <div class="t454__logowrapper2"> <div style="display: block;"> <a href="https://github.com/VSharp-team/VSharp" target="_blank" style="color:#ffffff;" rel="noopener"> <img src="index_files/vsharp_logo-removebg.png" class="t454__imglogo t454__imglogomobile" imgfield="img" style="max-width: 220px; width: 220px;" alt=""> </a> </div> </div> </div> <div class="t454__rightwrapper" style="padding-right:20px; padding-left:160px; text-align: right;"> <div class="t454__rightmenuwrapper"> <ul class="t454__list"> </ul> </div> </div> </div></div><style>@media screen and (max-width: 980px) { #rec410448336 .t454__leftcontainer{ padding: 20px; }
}
@media screen and (max-width: 980px) { #rec410448336 .t454__imglogo{ padding: 20px 0; }
}</style><script> $(document).ready(function() { t454_highlight(); });
$(window).resize(function() { t454_setBg('410448336');
});
$(document).ready(function() { t454_setBg('410448336');
});</script><style>#rec410448336 .t-menu__link-item{ }
@supports (overflow:-webkit-marquee) and (justify-content:inherit)
{ #rec410448336 .t-menu__link-item, #rec410448336 .t-menu__link-item.t-active { opacity: 1 !important; }
}</style><script type="text/javascript"> $(document).ready(function() { setTimeout(function(){ t_onFuncLoad('t_menusub_init', function() { t_menusub_init('410448336'); }); }, 500); });</script><style>@media screen and (max-width: 980px) { #rec410448336 .t-menusub__menu .t-menusub__link-item { color:#ffffff !important; } #rec410448336 .t-menusub__menu .t-menusub__link-item.t-active { color:#ffffff !important; }
}</style><!--[if IE 8]><style>#rec410448336 .t454 { filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#D9000000', endColorstr='#D9000000');
}</style><![endif]--></div><div id="rec410426700" class="r t-rec" style=" " data-animationappear="off" data-record-type="205"><!-- cover --><div class="t-cover" id="recorddiv410426700" bgimgfield="img" style="height:100vh; background-image:-webkit-linear-gradient(top, #ccc, #777); background-image:-moz-linear-gradient(top, #ccc, #777); background-image:-o-linear-gradient(top, #ccc, #777); background-image:-ms-linear-gradient(top, #ccc, #777); background-image:linear-gradient(top, #ccc, #777); "><div class="t-cover__carrier loading" id="coverCarry410426700" data-content-cover-id="410426700" data-content-cover-bg="" data-content-cover-height="100vh" data-content-cover-parallax="" style="height:100vh;background-attachment:scroll; "></div> <div class="t-cover__filter" style="height:100vh;background-image: -moz-linear-gradient(top, rgba(0,0,0,0.60), rgba(0,0,0,0.60));background-image: -webkit-linear-gradient(top, rgba(0,0,0,0.60), rgba(0,0,0,0.60));background-image: -o-linear-gradient(top, rgba(0,0,0,0.60), rgba(0,0,0,0.60));background-image: -ms-linear-gradient(top, rgba(0,0,0,0.60), rgba(0,0,0,0.60));background-image: linear-gradient(top, rgba(0,0,0,0.60), rgba(0,0,0,0.60));filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#66000000', endColorstr='#66000000');"></div><div class="t-container"> <div class="t-width t-width_10" style="margin:0 auto;"><div class="t-cover__wrapper t-valign_middle" style="height:100vh; position: relative;z-index:1;"> <div class="t182"> <div data-hook-content="covercontent"> <div class="t182__wrapper"> <div class="t182__title t-title t-title_xl t-animate t-animate_started" data-animate-style="fadeinup" data-animate-group="yes" style="transition-delay: 0s;" field="title">Symbolic execution engine for .NET</div> <div class="t182__buttons"> <a href="https://github.com/VSharp-team/VSharp/" target="_blank" class="t-btn t-animate t-animate_started t-animate_no-hover" data-animate-style="fadeinup" data-animate-group="yes" style="color: rgb(255, 255, 255); background-color: rgb(245, 145, 79); border-radius: 3px; text-transform: uppercase; box-shadow: rgba(0, 0, 0, 0.3) 0px 0px 20px 0px; transition-delay: 0.5s;" rel="noopener"><table style="width:100%; height:100%;"><tbody><tr><td>Explore on GitHub</td></tr></tbody></table></a> </div> </div> </div> </div> </div> </div> </div> <!-- arrow --> <div class="t-cover__arrow"><div class="t-cover__arrow-wrapper "><div class="t-cover__arrow_mobile"><svg class="t-cover__arrow-svg" style="fill:#ffffff;" x="0px" y="0px" width="38.417px" height="18.592px" viewBox="0 0 38.417 18.592"><g><path d="M19.208,18.592c-0.241,0-0.483-0.087-0.673-0.261L0.327,1.74c-0.408-0.372-0.438-1.004-0.066-1.413c0.372-0.409,1.004-0.439,1.413-0.066L19.208,16.24L36.743,0.261c0.411-0.372,1.042-0.342,1.413,0.066c0.372,0.408,0.343,1.041-0.065,1.413L19.881,18.332C19.691,18.505,19.449,18.592,19.208,18.592z"></path></g></svg></div></div></div> <!-- arrow --> </div> <style>#rec410426700 .t-btn:not(.t-animate_no-hover):hover{ color: #5c5c5c !important; } #rec410426700 .t-btn:not(.t-animate_no-hover){ -webkit-transition: background-color 0.2s ease-in-out, color 0.2s ease-in-out, border-color 0.2s ease-in-out, box-shadow 0.2s ease-in-out; transition: background-color 0.2s ease-in-out, color 0.2s ease-in-out, border-color 0.2s ease-in-out, box-shadow 0.2s ease-in-out; } #rec410426700 .t-btntext:not(.t-animate_no-hover):hover{ color: #5c5c5c !important; }</style></div><div id="rec410426703" class="r t-rec t-rec_pt_150 t-rec_pb_180" style="padding-top:150px;padding-bottom:180px;background-color:#f5f5f5; " data-record-type="490" data-bg-color="#f5f5f5" data-animationappear="off"><!-- t490 --><div class="t490"><div class="t-section__container t-container"><div class="t-col t-col_12"><div class="t-section__topwrapper t-align_center"><div class="t-section__title t-title t-title_xs" field="btitle">Features</div></div></div></div><div class="t-container"> <div class="t490__col t-col t-col_4 t-align_center t-item"> <img src="index_files/Tilda_Icons_30_system_settings.svg" class="t490__img t-img loading" imgfield="li_img__1476968690512" style="width:90px;"> <div class="t490__wrappercenter "> <div class="t-heading t-heading_md" style="" field="li_title__1476968690512">Unit test generation</div> <div class="t-descr t-descr_xs" style="" field="li_descr__1476968690512">V# generates unit tests for .NET applications trying to achieve maximal statement and branch coverage</div> </div> </div> <div class="t490__col t-col t-col_4 t-align_center t-item"> <img src="index_files/2web_magnifier.svg" class="t490__img t-img loading" imgfield="li_img__1476968700508" style="width:90px;"> <div class="t490__wrappercenter "> <div class="t-heading t-heading_md" style="" field="li_title__1476968700508">Deep code analysis</div> <div class="t-descr t-descr_xs" style="" field="li_descr__1476968700508">V# tests various program paths and reports code defects</div> </div> </div> <div class="t490__col t-col t-col_4 t-align_center t-item"> <img src="index_files/target.svg" class="t490__img t-img loading" imgfield="li_img__1476968722790" style="width:90px;" alt="https://static.tildacdn.info/lib/tildaicon/61373835-3230-4732-a566-663366353936/5ev_magic.svg"> <div class="t490__wrappercenter "> <div class="t-heading t-heading_md" style="" field="li_title__1476968722790">Zero false positive</div> <div class="t-descr t-descr_xs" style="" field="li_descr__1476968722790">V# reports only reproducible program behaviors</div> </div> </div> <div class="t-clear t490__separator" style=""></div> <div class="t490__col t-col t-col_4 t-align_center t-item"> <img src="index_files/5ev_magic.svg" class="t490__img t-img loading" imgfield="li_img__1509711761609" style="width:90px;"> <div class="t490__wrappercenter "> <div class="t-heading t-heading_md" style="" field="li_title__1509711761609">Innovative approach</div> <div class="t-descr t-descr_xs" style="" field="li_descr__1509711761609">V# builds on academical approaches beyond state of the art</div> </div> </div> <div class="t490__col t-col t-col_4 t-align_center t-item"> <img src="index_files/Tilda_Icons_39_IT_landing.svg" class="t490__img t-img loading" imgfield="li_img__1644269886934" style="width:90px;"> <div class="t490__wrappercenter "> <div class="t-heading t-heading_md" style="" field="li_title__1644269886934">Fully automated</div> <div class="t-descr t-descr_xs" style="" field="li_descr__1644269886934">V# requires no manual guidance</div> </div> </div> <div class="t490__col t-col t-col_4 t-align_center t-item"> <img src="index_files/Tilda_Icons_39_IT_startup.svg" class="t490__img t-img loading" imgfield="li_img__1644270221211" style="width:90px;"> <div class="t490__wrappercenter "> <div class="t-heading t-heading_md" style="" field="li_title__1644270221211">.NET 6 support</div> <div class="t-descr t-descr_xs" style="" field="li_descr__1644270221211">Up-to-date with .NET development</div> </div> </div></div></div></div><div id="rec410426704" class="r t-rec r_anim r_showed" style=" " data-record-type="581"><!-- cover --><div class="t-cover" id="recorddiv410426704" bgimgfield="img" style="height:560px; background-image:url('https://static.tildacdn.info/tild3530-3064-4033-b833-333134313738/-/resize/20x/image_2022-02-08_01-.png');"><div class="t-cover__carrier loaded" id="coverCarry410426704" data-content-cover-id="410426704" data-content-cover-bg="https://static.tildacdn.info/tild3530-3064-4033-b833-333134313738/image_2022-02-08_01-.png" data-content-cover-height="560px" data-content-cover-parallax="fixed" style="height: 560px; background-image: url("https://thumb.tildacdn.com/tild3530-3064-4033-b833-333134313738/-/format/webp/image_2022-02-08_01-.png");"></div> <div class="t-cover__filter" style="height:560px;background-image: -moz-linear-gradient(top, rgba(0,0,0,0.80), rgba(0,0,0,0.90));background-image: -webkit-linear-gradient(top, rgba(0,0,0,0.80), rgba(0,0,0,0.90));background-image: -o-linear-gradient(top, rgba(0,0,0,0.80), rgba(0,0,0,0.90));background-image: -ms-linear-gradient(top, rgba(0,0,0,0.80), rgba(0,0,0,0.90));background-image: linear-gradient(top, rgba(0,0,0,0.80), rgba(0,0,0,0.90));filter: progid:DXImageTransform.Microsoft.gradient(startColorStr='#33000000', endColorstr='#19000000');"></div><div class="t-container"> <div class="t-col t-col_10 t-prefix_1 t-align_center"><div class="t-cover__wrapper t-valign_middle" style="height:560px; position: relative;z-index:1;"> <div class="t581"> <div data-hook-content="covercontent"> <div class="t581__wrapper t-align_center"> <div class="t581__title t-title t-title_sm t-margin_auto" style="" field="title">Fully open-source</div> <div class="t581__descr t-descr t-descr_xl t-margin_auto" style="max-width:600px;" field="descr">Help us to improve V#</div> <div class="t581__buttons"> <div class="t581__buttons-wrapper t-margin_auto"> <svg class="t581__arrow-icon_mobile" style="fill:#ffffff;" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 35 70"><path d="M30.6 47.5c-.6-.5-1.6-.4-2.1.2L19 59.6V5.5c0-.8-.7-1.5-1.5-1.5S16 4.7 16 5.5v54.1L6.5 47.7c-.6-.6-1.5-.7-2.1-.2-.7.5-.8 1.5-.3 2.1l12.2 15.2c.3.4.7.6 1.2.6s.9-.2 1.2-.6l12.2-15.2c.5-.6.4-1.6-.3-2.1z"></path></svg> <svg class="t581__arrow-icon " style="fill:#ffffff; width:120px;" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 80 180"><path d="M54.1 108c-.5 0-.9-.2-1.2-.6-.5-.7-.3-1.6.4-2.1 1.5-1 9.5-5.5 14.6-8.3-17.4-.5-31.3-7.3-41.3-20C9.9 55.7 9.5 24.2 14.2 3.7c.2-.8 1-1.3 1.8-1.1.8.2 1.3 1 1.1 1.8-4.6 19.9-4.2 50.3 11.8 70.8 9.5 12.2 23 18.6 39.9 18.9h.3l-3.2-4c-1.4-1.7-2.7-3.3-4.1-5.1-.7-.9-1.5-1.9-2.3-2.9-.5-.6-.4-1.6.2-2.1.6-.5 1.6-.4 2.1.2 0 0 0 .1.1.1l6.4 7.9c.5.6.9 1.1 1.4 1.7 1.5 1.8 3.1 3.6 4.3 5.5 0 .1.1.1.1.2.1.2.1.3.2.5v.3c0 .2 0 .3-.1.5 0 .1-.1.1-.1.2-.1.2-.2.3-.3.4-.1.1-.2.1-.3.2 0 0-.1 0-.2.1-.9.4-16 8.6-18.2 10.1-.4 0-.7.1-1 .1z"></path></svg> <a href="https://github.com/VSharp-team/VSharp/issues" target="_blank" class="t581__btn t-btn " style="color:#ffffff;background-color:#f5914f;border-radius:5px; -moz-border-radius:5px; -webkit-border-radius:5px;" rel="noopener"><table style="width:100%; height:100%;"><tbody><tr><td>Contribute</td></tr></tbody></table></a> </div> </div> </div> </div> </div> </div> </div> </div> </div> <style>#rec410426704 .t-btn:not(.t-animate_no-hover):hover{ color: #474747 !important; box-shadow: 0px 0px 20px 0px rgba(0, 0, 0, 0.7) !important; } #rec410426704 .t-btn:not(.t-animate_no-hover){ -webkit-transition: background-color 0.2s ease-in-out, color 0.2s ease-in-out, border-color 0.2s ease-in-out, box-shadow 0.2s ease-in-out; transition: background-color 0.2s ease-in-out, color 0.2s ease-in-out, border-color 0.2s ease-in-out, box-shadow 0.2s ease-in-out; } #rec410426704 .t-btntext:not(.t-animate_no-hover):hover{ color: #474747 !important; }</style></div></div><!--/allrecords--><!-- Stat -->
</body></html>