Robust Dynamically Deployed Static Analysis for Java
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...
This semester project report describes a prototype tracing tool that records the behavior of a Java program during its execution. It explains the two methods that were attempted to implement the tool, one using the Java debug interface, which gave poor res ...
The Block Research Group (BRG) at ETH Zurich and the Laboratory for Timber Constructions (IBOIS) gave a collaborative workshop on the Finite Element (FE) analysis using the COMPAS package. ...
A number of component-based frameworks have been proposed to tackle the complexity of the design of concurrent software and systems and, in particular, to allow modelling and simulation of critical embedded applications. Such design frameworks usually prov ...
Virtualization-obfuscation protects a program from manual or automated analysis by compiling it into bytecode for a randomized virtual architecture and attaching a corresponding interpreter. Static analysis appears to be helpless on such programs, where on ...
We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...
Technology downscaling is expected to amplify a variety of reliability concerns in future digital systems. A good understanding of reliability threats is crucial for the creation of efficient mitigation techniques. This survey performs a systematic classif ...
This chapter reviews some of the current strategies for landslide modelling. Main physical processes in landslides are first recalled. Numerical tools are then introduced for the analysis of the behaviour of slow- and fast-moving landslides. Representative ...
We show that the finite time type II blow up solutions for the energy critical nonlinear wave equation [ \Box u = -u^5 ] on R3+1 constructed in \cite{KST}, \cite{KS1} are stable along a co-dimension one Lipschitz manifold of data perturbations in a ...
