Abdulbaki Aydin: 1 book

String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf
Language: English
Release Date: January 4, 2018

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata,...

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy