Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Static program analysis

Related publications (25)

Unfolding the prospects of computational (bio)materials modeling

Ignacio Pagonabarraga Mora

In this perspective communication, we briefly sketch the current state of computational (bio)material research and discuss possible solutions for the four challenges that have been increasingly identified within this community: (i) the desire to develop a ...

AMER INST PHYSICS2020

Relax and Recover: Guaranteed Range-Only Continuous Localization

Adam James Scholefield, Frederike Dümbgen, Michalina Wanda Pacholska

Range-only localization has applications as diverse as underwater navigation, drone tracking and indoor localization. While the theoretical foundations of lateration---range-only localization for static points---are well understood, there is a lack of unde ...

2020

WOK: Statistical Program Slicing in Production

James Richard Larus, Bogdan-Alexandru Stoica

Dynamic program slicing can significantly reduce the amount of code developers need to inspect by focusing only on program statements relevant to their investigation. However, this technique is still not ready for production-level use either in terms of ru ...

IEEE2019

FirmFuzz: Automated IoT Firmware Introspection and Analysis

Mathias Josef Payer

While the number of IoT devices grows at an exhilarating pace their security remains stagnant. Imposing secure coding standards across all vendors is infeasible. Testing individual devices allows an analyst to evaluate their security post deployment. Any d ...

ASSOC COMPUTING MACHINERY2019

Formal Analysis of Human-Assisted Smart City Emergency Services

Mohammad Khaja Nazeeruddin

The concept of IoT-based Smart Cities has gained momentum in recent years. The research in this domain has focused on modeling key characteristics of future smart cities along with exploring their design and implementation aspects from multiple perspective ...

2019