Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Linux Systems [clear filter]
Tuesday, October 27

18:30 GMT

When You Come to a Fork in the Road, Take It: Finding Configuration Constraints from Kconfig, Kbuild, and the C Preprocessor - Paul Gazzillo, University of Central Florida
The Linux kernel source has thousands of compile-time configurations that allow for an enormous number of variations of the kernel binary. This extreme configurability enables the same codebase to be used for everything from refrigerators to cars to supercomputers. But such configurability also brings unique challenges to development and maintenance. Unexpected combinations of configuration options can expose unknown security holes, the sheer number of kernel variations makes testing all impossible, and the languages used to implement configurability hinder source-code tools such as IDEs, bug-finders, and refactoring tools. This talk will go over the challenges of scaling to Linux's massive configuration system and my research on using program analysis techniques and automated tools to extract configuration constraints from Kconfig, Kbuild, and the C preprocessor. I will demonstrate a free and open-source tool, klocalizer, resulting from this research. Given source files, klocalizer generates valid Kconfig kernel configurations that include the given source. Finally, I will go over future work and potential applications to testing, bug-finding, and security.

avatar for Paul Gazzillo

Paul Gazzillo

Assistant Professor, University of Central Florida
Paul Gazzillo is an Assistant Professor of Computer Science at University of Central Florida. His research aims to make it easier to develop safe and secure software, and it spans programming languages, security, software engineering, and systems. Projects include program analysis... Read More →

Tuesday October 27, 2020 18:30 - 19:20 GMT
Linux Systems Theater

19:30 GMT

Writing Robust Bash Scripts - Leonardo Gutierrez Ramirez, AutoZone
Over the years I have seen too many incidents in production due to developers not taking seriously shell scripts, this is a big mistake. Shell scripts usually helps us to perform simple tasks but also to wire important processes. It is possible to write robust and well crafted shell scripts as any other language. In this talk we will review a set of techniques to write safer and robust shell scripts to avoid any production incidents.


Leonardo Gutierrez Ramirez

Technical Architect, AutoZone
Leonardo Gutierrez is a passionate Java/Go/Shell Scripting/Rust Technical Architect at AutoZone, an American retailer of aftermarket automotive parts and accessories, the largest in the United States. Leonardo is currently working on several internal projects focused on improve Developer's... Read More →

Tuesday October 27, 2020 19:30 - 20:20 GMT
Linux Systems Theater
Wednesday, October 28

13:00 GMT

The Compact C Type (CTF) Debugging Format in the GNU Toolchain: Progress Report - Elena Zannoni & Nicholas Alcock, Oracle
The Compact C Type Format (CTF) is a reduced form of debug information describing the type of C entities such as structures, unions, etc. It has been ported to Linux (from Solaris) and used to reduce the size of the debugging information for the Linux kernel and DTrace. It was extended to remove limits and add support for additional parts of the C type system. Last year, we integrated it into GCC and GNU binutils and added support for dumping CTF data in ELF objects and some support for linking CTF data into a final executable (and presented at this conference). This linking support was preliminary: it was slow and the CTF was large. Since last year, the libctf library and ld in binutils have gained the ability to properly deduplicate CTF with little performance hit: output CTF in linked ELF objects is now often smaller than the CTF in any input .o file. The libctf API has also improved, with support for new features, better error reporting, and a much-improved CTF iterator. This talk will provide an overview of CTF, the novel type deduplication algorithm used to reduce CTF size and discuss the other contributions of CTF to the toolchain, such as compiler and debugger support.


Elena Zannoni

Senior Director, Oracle
Elena Zannoni is the manager for the Linux Toolchain and Tracing team at Oracle. The team covers the GNU toolchain and DTrace for Linux, among other things. Elena was one of the original GDB global maintainers and has spoken worldwide on topics related to tracing at many conferences... Read More →
avatar for Nick Alcock

Nick Alcock

Senior Staff Engineer, Oracle
Nick (Nix) is a Senior Staff engineer at Oracle. Among Nick's tasks is DTrace for Linux, and now he is focusing on Binutils and CTF.

Wednesday October 28, 2020 13:00 - 13:50 GMT
Linux Systems Theater
  Linux Systems, Programming Languages and Toolchains

Twitter Feed