AskTheCode
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F19%3A10397720" target="_blank" >RIV/00216208:11320/19:10397720 - isvavai.cz</a>
Result on the web
<a href="http://www.askthecode.net" target="_blank" >http://www.askthecode.net</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
AskTheCode
Original language description
A common way to search for causes of program errors is to manually explore the code or to use a debugger. It is often a tedious process, especially if the code base is large and complicated. AskTheCode wants to change that, being a Microsoft Visual Studio extension for C# to enable developers to gather crucial information about the code semantics. Its main idea is pretty simple - the user selects an assertion in the code and AskTheCode attempts to find any inputs to the program that can break it. The user can then see all the inputs violating the assertion and replay the particular error trace to see how it happened. Due to the high complexity of the problem, it is not guaranteed to find the complete results every time. Nevertheless, even partial information can save the user a lot of time (by not having to manually inspect the call sites that are "safe").
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
AskTheCode
Technical parameters
Nástroj byl využit jako základ pro několik vědeckých publikací, více informací v odkazu níže.
Economical parameters
Nástroj je ve stadiu výzkumného prototypu, nebylo tedy možné jej prozatím nasadit do praxe a ověřit jeho ekonomickou užitečnost.
Owner IČO
02034166
Owner name
Robert Husák