lancet a nifty code editing tool
play

Lancet: A Nifty Code Editing Tool Ludo Van Put, Bjorn De Sutter, - PowerPoint PPT Presentation

Apr 29, 2023 •440 likes •664 views

Lancet: A Nifty Code Editing Tool Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits & Koen De Bosschere 1 Assembly programming has evolved.. 2 Lancet: A Nifty Code Editing Tool Assembly

  1. Lancet: A Nifty Code Editing Tool Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits & Koen De Bosschere 1

  2. Assembly programming has evolved.. 2 Lancet: A Nifty Code Editing Tool

  3. Assembly programming has evolved.. 3 Lancet: A Nifty Code Editing Tool

  4. Assembly programming has evolved.. But who cares when you can choose between a plethora of powerful software engineering tools? ;-) 4 Lancet: A Nifty Code Editing Tool

  5. Program analysis and development Assembly code is still written and/or analyzed by ● embedded systems developers ● device driver developers ● compiler writers ● computer science students ● ... However, the available tools suffer from at least one of the following shortcomings: ● show only one level of abstraction ● linear list of instructions, control flow is unclear ● no program overview, calling context is unknown ● no feedback on changes made to the code ● ... 5 Lancet: A Nifty Code Editing Tool

  6. Overview ● the design of Lancet ● functionality ● user scenarios ● future work 6 Lancet: A Nifty Code Editing Tool

  7. Graphical user interface on top of Diablo ● Lancet is built on top of Diablo (http://www.elis.ugent.be/diablo) ● Diablo is an open source, retargetable link-time binary rewriting framework ● Spawned a program compaction tool (LCTES'04) , a OS kernel compactor (LCTES'05) , an instrumentation toolkit (PASTE'04) , a steganography tool (ICISC'04) ● Offers a rich collection of program analyses and transformations to be reused in Lancet 7 Lancet: A Nifty Code Editing Tool

  8. The design of Lancet graphical interface rewriting framework graph layout Graphviz 8 Lancet: A Nifty Code Editing Tool

  9. Functionality of Lancet view different levels clear presentation of abstraction of control flow feedback from whole program underlying framework overview 9 Lancet: A Nifty Code Editing Tool

  10. Functionality of Lancet 10 Lancet: A Nifty Code Editing Tool

  11. Functionality of Lancet 11 Lancet: A Nifty Code Editing Tool

  12. Functionality of Lancet 12 Lancet: A Nifty Code Editing Tool

  13. Functionality of Lancet 13 Lancet: A Nifty Code Editing Tool

  14. User scenarios What could you use this functionality for? → easy navigation through callgraph, control flow graphs, linker map → supervised editing of assembly code of bbl's → perform graph operations → visual profile feedback → graphical instrumentation interface → present program analysis information → display cfg's before/after/during optimization 14 Lancet: A Nifty Code Editing Tool

  15. User scenarios Program visualization and analysis (detect bottlenecks, teaching,...) → easy navigation through callgraph, control flow graphs, linker map → supervised editing of assembly code of bbl's → perform graph operations → visual profile feedback → graphical instrumentation interface → present program analysis information → display cfg's before/after/during optimization 15 Lancet: A Nifty Code Editing Tool

  16. User scenarios Program surgery (manual program edits supported by feedback) → easy navigation through callgraph, control flow graphs, linker map → supervised editing of assembly code of bbl's → perform graph operations → visual profile feedback → graphical instrumentation interface → present program analysis information → display cfg's before/after/during optimization 16 Lancet: A Nifty Code Editing Tool

  17. User scenarios Assist in development of new transformations (compiler research, ...) → easy navigation through callgraph, control flow graphs, linker map → supervised editing of assembly code of bbl's → perform graph operations → visual profile feedback → graphical instrumentation interface → present program analysis information → display cfg's before/after/during optimization 17 Lancet: A Nifty Code Editing Tool

  18. User scenarios Visualization and steering of transformations (interactive program optimization,...) → easy navigation through callgraph, control flow graphs, linker map → supervised editing of assembly code of bbl's → perform graph operations → visual profile feedback → graphical instrumentation interface → present program analysis information → display cfg's before/after/during optimization (future work: adapt transformations to enable interaction) 18 Lancet: A Nifty Code Editing Tool

  19. User scenarios Fine-grained, point-wise instrumentation (analysis, debugging, profiling, ...) → easy navigation through callgraph, control flow graphs, linker map → supervised editing of assembly code of bbl's → perform graph operations → visual profile feedback → graphical instrumentation interface → present program analysis information → display cfg's before/after/during optimization 19 Lancet: A Nifty Code Editing Tool

  20. Future work ● present additional program analysis information ● provide 'undo' functionality ● integrate instrumentation & transformation feedback ● provide an interface for optimization reordering ● ... 20 Lancet: A Nifty Code Editing Tool

  21. Questions? http://www.elis.ugent.be/diablo 21 Lancet: A Nifty Code Editing Tool

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Version Control What is it? A tool for collaborative editing A tool for keeping an edit history

Version Control What is it? A tool for collaborative editing A tool for keeping an edit history

git and t he vi r t ue of ver si on cont r ol ECE 18-545 Fall 2016 Brandon Lucia Version Control What is it? A tool for collaborative editing A tool for keeping an edit history A tool for managing edit versions For the code in

549 views • 44 slides
Nifty web apps on an OpenResty Nifty web apps on an OpenResty agentzh@gmail.com

Nifty web apps on an OpenResty Nifty web apps on an OpenResty agentzh@gmail.com

Nifty web apps on an OpenResty Nifty web apps on an OpenResty agentzh@gmail.com 2008.4 The history of the web... The history of the web... Web 1.0 Benefits Server code is easy to write. Browsers are easty to build

930 views • 53 slides
Lancet March 2015 Patient Schematic Perkins GD et al The Lancet, 385, 2015, 947 - 955

Lancet March 2015 Patient Schematic Perkins GD et al The Lancet, 385, 2015, 947 - 955

Lancet March 2015 Patient Schematic Perkins GD et al The Lancet, 385, 2015, 947 - 955 Background Adequate CPR is critical for survival for CA patients Maintenance of high-quality compressions during OHCA is difficult because: small

255 views • 24 slides
Blaise Source Code Blaise Source Code Editing System Presenter: Danilo Gutierrez C Co-author:

Blaise Source Code Blaise Source Code Editing System Presenter: Danilo Gutierrez C Co-author:

Blaise Source Code Blaise Source Code Editing System Presenter: Danilo Gutierrez C Co-author: Sheila Deskins th Sh il D ki Health and Retirement Study (HRS) The 11th International Blaise Conference Annapolis, Maryland September 2007

577 views • 47 slides
I n t e r n s L i g h t n i n g T a l k s Proxy editing PiTiVi Proxy editing

I n t e r n s L i g h t n i n g T a l k s Proxy editing PiTiVi Proxy editing

I n t e r n s L i g h t n i n g T a l k s Proxy editing PiTiVi Proxy editing Anton Belka, antonbelka@gmail.com GUADEC 2013 The TM Conference GUADEC Proxy editing What is proxy editing? Proxy editing is the ability to

1.75k views • 143 slides
In-browser code editing Marijn Haverbeke (Interactive slides at

In-browser code editing Marijn Haverbeke (Interactive slides at

In-browser code editing Marijn Haverbeke (Interactive slides at http://marijnhaverbeke.nl/talks/goto2012) a 3-part talk: state of the art inspirational demo implementation war stories textarea schmextarea who's who ACE

939 views • 24 slides
Sign Code Amendments editing and rearranging for clarity intent & purpose signs not

Sign Code Amendments editing and rearranging for clarity intent & purpose signs not

Sign Code Amendments editing and rearranging for clarity intent & purpose signs not be interfere with pedestrian traffic requires a business license for a permit planning to require owner to remove or relocate no

246 views • 9 slides
P -values are really quite nifty The P-Value Controversy: Where Do We Go from Here? 2019 Joint

P -values are really quite nifty The P-Value Controversy: Where Do We Go from Here? 2019 Joint

P -values are really quite nifty The P-Value Controversy: Where Do We Go from Here? 2019 Joint Statistical Meetings Denver, Colorado Philip B. Stark July 2019 University of California, Berkeley 1 Whats a P -value? Suppose X is a random

212 views • 9 slides
editing technique Emma de Pater CGEC Cancer Genome Editing Center CRISPR/Cas9 CRISPR/Cas9

editing technique Emma de Pater CGEC Cancer Genome Editing Center CRISPR/Cas9 CRISPR/Cas9

cgec.erasmusmc.nl A basic introduction in the CRISPR/Cas9 genome editing technique Emma de Pater CGEC Cancer Genome Editing Center CRISPR/Cas9 CRISPR/Cas9 The immune system of bacteria CRISPR/Cas9 as a biomedical tool What

247 views • 22 slides
Non Linear Editing Programmable Solutions for the Broadcast Industry Non Linear Editing

Non Linear Editing Programmable Solutions for the Broadcast Industry Non Linear Editing

Non Linear Editing Programmable Solutions for the Broadcast Industry Non Linear Editing Media editing used to mean physically splicing magnetic tape together in the production suite This progressed to digital splicing but access to

1.1k views • 37 slides
We only consider geometric nonlinearity, with linear strain-stress relationship = : In

We only consider geometric nonlinearity, with linear strain-stress relationship = : In

We only consider geometric nonlinearity, with linear strain-stress relationship = : In Introd oduction ion Space-time editing Powerful tool for animation editing Seeking minimal control forces Matching the constraints in

885 views • 70 slides
Textual Editing with the TEI Or, Documentary Editing with the TEI Or, TEI for Text Bearing

Textual Editing with the TEI Or, Documentary Editing with the TEI Or, TEI for Text Bearing

Textual Editing with the TEI Or, Documentary Editing with the TEI Or, TEI for Text Bearing Objects Lou Burnard Consulting July 2014 1/78 What is this thing? . 1 Its a text ! . 2 It's a document ! . 3 It's a moment in a developing

1.17k views • 85 slides
Fact-based Text Editing H ayat e Iso, Ch a o Qi a o, H a ng Li The status quo of Text Editing

Fact-based Text Editing H ayat e Iso, Ch a o Qi a o, H a ng Li The status quo of Text Editing

Fact-based Text Editing H ayat e Iso, Ch a o Qi a o, H a ng Li The status quo of Text Editing Model, p (y | x), learns how to edit the input, x into the desired output, y . Style Transfer x = This is the worst game! y = This is the

483 views • 22 slides
LANCET COMMISSION ON GLOBAL SURGERY ECONOMICS & FINANCING Anna J Dare Commissioner &

LANCET COMMISSION ON GLOBAL SURGERY ECONOMICS & FINANCING Anna J Dare Commissioner &

LANCET COMMISSION ON GLOBAL SURGERY ECONOMICS & FINANCING Anna J Dare Commissioner & Facilitator Finance & Economics Working Group OUTLINE Summary of The Lancet Commission Economics & Finance section The Current Situation

782 views • 63 slides
@ITIFdc Gene Editing for the Climate: Biological Solutions for Curbing Greenhouse Emissions Val

@ITIFdc Gene Editing for the Climate: Biological Solutions for Curbing Greenhouse Emissions Val

Gene Editing for the Climate: Biological Solutions for Curbing Greenhouse Emissions Val Giddings Robert Rozansky David Hart September 15, 2020 Questions? Submit via www.sli.do using code: #ITIFenergytech @prometheusgreen @rob_rozansky

394 views • 24 slides
Overview ! Well being according to Lancet ! Anthropological models ! ! Heuristic (relativity) ! !

Overview ! Well being according to Lancet ! Anthropological models ! ! Heuristic (relativity) ! !

Child Well Being: " An International Seminar ! Anthropological Perspectives ! Carol M. Worthman ! Emory University ! February, 2013 ! Jed Stevenson, UCL ! Overview ! Well being according to Lancet ! Anthropological models ! ! Heuristic

801 views • 24 slides
Carrying capacity assessment and impact Carrying capacity assessment and impact of aquaculture in

Carrying capacity assessment and impact Carrying capacity assessment and impact of aquaculture in

Carrying capacity assessment and impact Carrying capacity assessment and impact of aquaculture in Chinese bays of aquaculture in Chinese bays *1,*2 *1,*2 http://www.ecowin.org/china/ J.G. Ferreira Universidade Nova de Lisboa Faculdade de

595 views • 33 slides
An Evidence-Based Update on Methods of Labor Induction: How can we improve our care? Sarah B

An Evidence-Based Update on Methods of Labor Induction: How can we improve our care? Sarah B

An Evidence-Based Update on Methods of Labor Induction: How can we improve our care? Sarah B Wilson Hannay MD MEd I have nothing to disclose. In 2013, 23% of all pregnant patients in the US underwent IOL National Vital Statistics Report

267 views • 8 slides
Building a S ustainable U.S . Offshore Wind Industry Key Environmental Issues in US EPA Region 2

Building a S ustainable U.S . Offshore Wind Industry Key Environmental Issues in US EPA Region 2

Building a S ustainable U.S . Offshore Wind Industry Key Environmental Issues in US EPA Region 2 June 6, 2018 Nathanael Greene, NRDC The surprising state of offshore wind affairs Offshore wind is thriving in Europe First U.S. Offshore Wind

562 views • 17 slides
(All surfaces are orientable) M C = { M R 3 complete embedded minimal surface | g ( M ) <

(All surfaces are orientable) M C = { M R 3 complete embedded minimal surface | g ( M ) <

Recent advances in minimal surface theory in R 3 Joaqu n P erez (joint work with Bill Meeks & Antonio Ros) email: jperez@ugr.es http://wdb.ugr.es/ jperez/ Work partially supported by the State Research Agency (SRA) and European

541 views • 23 slides
WHO PSBI guidelines Summary of evidence from 11 demonstration sites PSBI Community of Practice

WHO PSBI guidelines Summary of evidence from 11 demonstration sites PSBI Community of Practice

Implementation research on WHO PSBI guidelines Summary of evidence from 11 demonstration sites PSBI Community of Practice Webinar 28 Feb 2019 1 | TITLE from VIEW and SLIDE MASTER | 01 March 2019 Questions 1. Can we achieve up to 80% of

329 views • 17 slides
Sh Sharp rps Injury Prevention on A A look into Fr Fras aser er Health Health & BC

Sh Sharp rps Injury Prevention on A A look into Fr Fras aser er Health Health & BC

Sh Sharp rps Injury Prevention on A A look into Fr Fras aser er Health Health & BC Health Health Autho uthorities ities Rita Ciconte MSc, CRSP Leader, Specialized Services I Health & Safety Fraser Health April 20, 2018

441 views • 30 slides
quote unit quote unit NUMBER STANDARD DESCRIPTION carton size(CM) G.W.(KGS) MICROSCOPE SLIDES

quote unit quote unit NUMBER STANDARD DESCRIPTION carton size(CM) G.W.(KGS) MICROSCOPE SLIDES

quote unit quote unit NUMBER STANDARD DESCRIPTION carton size(CM) G.W.(KGS) MICROSCOPE SLIDES INTERLEAVED ROUGH GROUND EDGES 45 O Best ground edges,water wash slides,50pcs/box,50box/ctn 7101 50PCS 38x18x16 14 45 O Best

174 views • 16 slides
RAON EPICS integration of SNMP and RAON EPICS integration of SNMP and its realization at early

RAON EPICS integration of SNMP and RAON EPICS integration of SNMP and its realization at early

RAON EPICS integration of SNMP and RAON EPICS integration of SNMP and its realization at early stage its realization at early stage Park, Mi-Jeong Park, Mi-Jeong IBS, S.Korea IBS, S.Korea May 20, 2015, East Lancing, Michigan, USA. EPICS

539 views • 17 slides

More recommend