Dessutom diskuteras grundläggande programanalys- och transformationstekniker ej enbart tillämpbara inom kompilatorområdet utan även vid reverse engineering och vidmakthållande av programvara.
It discusses basic program analysis and transformation techniques not only applicable in compilation but also in reverse engineering and software maintenance.
förstå formalismer för programanalys: attributgrammatiker
understand formalisms for program analysis: attribute grammars
Tekniken för programanalys kan därmed bidra till mjukvarusäkerhet, programkvalitetskontroll, programförståelse, underhåll och utveckling av programvara samt förbättring av mjukvarans prestanda.
The techniques of program analysis can thereby contribute to software security, software quality control, program understanding, software maintenance and evolution, and software performance improvement.
Meriterande/önskvärt: Det är önskvärt med en god bakgrund inom några av områdena programanalys, kompilatorteknik, formell verifiering, testning, säkerhet, programvaruteknik, och liknande.
It is helpful to have a good background in some of the fields of testing, security, program analysis, compiler techniques, model checking, formal verification, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms.
Meriterande/önskvärt: Det är önskvärt med en god bakgrund inom några av områdena programanalys, kompilatorteknik, formell verifiering, testning, säkerhet, programvaruteknik, och liknande.
A successful candidate should have a strong research experience in some of the fields: program analysis, compiler techniques, model checking, formal verification, testing, security, software engineering, and similar, as well as be proficient in building software systems and tools.
Arbetetet använder tekniker innefattande programanalys, verifiering, symbolisk exekvering, testning mha "fuzzing", "taint analysis", och modellinlärning, med stöd av villkorslösning och SMT.
Techniques that the positions will focus on include program analysis, verification, symbolic execution, testing using fuzzing, taint analysis, model learning; supported by constraint solving and SMT.
ARiSAs tjänster och produkter representerar resultatet av nästan 10 års utbildning, forskning och utveckling inom programanalys och universitetsnivå och i samarbete med industrin.
ARiSA services and products represent the results of almost 10 years of education, research and development in program analysis and visualization - at university level and in cooperation with industry.
Företagets huvudprodukt, Bound-T, använder statisk programanalys på maskinkodsnivå för att beräkna en övre gräns på målprogrammets exekveringstid (värsta fallets tid, WCET) och på behovet av stackminne i värsta fall.
The company's main product, Bound-T, applies static program analysis on the machine-code level to compute upper bounds on the execution time of the target program (worst case execution time, WCET) and on the worst-case consumption of stack memory.
I en ny avhandling från Linnéuniversitetet presenterar Marcus Edvinsson flera metoder för att minska tidsåtgången för applikationer som använder sig av programanalys med bibehållen resultatkvalitet.
In a new Linnaeus University PhD thesis, Marcus Edvinsson presents several methods for reducing the amount of time required for applications making use of programme analysis while retaining the same result quality.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
