kleesymex

@kleesymex

Vrijeme pridruživanja: studeni 2015.
5 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @kleesymex

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kleesymex

  1. proslijedio/la je Tweet
    31. lis 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Well deserved! Awesome paper and a great software artifact that's still alive and used a decade later.

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    30. lis 2019.

    Had a great time at , catching up with lots of people including former PhD colleagues ⁦⁦⁩ and ⁦⁩. Really proud to have received the ⁦⁩ Hall of Fame Award for the paper (with and Dawson).

    10 replies 12 proslijeđenih tweetova 88 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    17. lis 2019.

    Very nice work by presented by Frederic Recoules. Inlined assembly code in C is lifted to C, making it tractable for analysis by and and improving thus their performance!

    4 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    17. lis 2019.

    Laurent Mounier discusses how to use to measure the robustness of software against fault-injection attacks!

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    12. ruj 2019.

    I worked on porting the KLEE symbolic execution engine to Go a while back and got most of the way there. Unfortunately, I just don't have the time to continue it anymore. I opened the repo if anyone is interested in playing around with the code.

    7 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    3. ruj 2019.

    My favourite quote from this blog post has to be "As with all articles on symbolic execution, KLEE is both the problem and the solution." ;)

    1 proslijeđeni tweet 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    3. ruj 2019.

    Excellent ongoing work from and on a version of for binaries called KLEE-Native. Read their interesting blog post at

    1 reply 4 proslijeđena tweeta 22 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    4. srp 2019.

    Major compilers such as Clang, GCC, and ICC as well as concrete/symbolic execution engines ( and mostly Sulong) support the most common builtins. Many other tools provide only partial support, and we found incorrect implementations in CompCert, Frama-C, and others.

    6 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    3. srp 2019.

    You can find many examples of symex use. E.g., Baidu and Fujitsu researchers gave interesting keynotes at the KLEE workshop on how they have used internally (). Microsoft has reported a lot of success with SAGE (). (1/2)

    Odgovor korisnicima @swarat @XujieSi
    We are working on KLEE to generate tests and to find bugs for smart TV software at . I know it was also used to check programs in the GNU Coreutils () . Could you give some examples of the use of in real-world software?
    1 reply 2 proslijeđena tweeta 19 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    3. srp 2019.

    There are many other examples. This being said, symex often requires expertise and persistence to get results, and this is something we should aim to improve. (2/2)

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    2. srp 2019.
    Odgovor korisniku/ci

    What are some prominent examples of the use of KLEE (or similar tools) in real-world software?

    1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    2. srp 2019.
    Odgovor korisnicima

    We are working on KLEE to generate tests and to find bugs for smart TV software at . I know it was also used to check programs in the GNU Coreutils () . Could you give some examples of the use of in real-world software?

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    31. svi 2019.

    Honoured to have our KLEE paper, co-authored more than 10 years ago with Daniel and Dawson, elected to the ACM SIGOPS Hall of Fame!

    14 replies 17 proslijeđenih tweetova 154 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    2. svi 2019.

    Our paper on bug-driven hybrid fuzzing will appear in , it is built upon light weight static analysis, AFL and . More than a dozen new bugs were discovered and confirmed!

    1 proslijeđeni tweet 10 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    12. tra 2019.

    I have several postdoc & PhD positions to work on exciting topics in program analysis, verification & systems, funded by an ERC Grant. Some involve . Start date: 1 Oct (later possible too). Deadline: 16 June. See for details. RTs appreciated!

    41 proslijeđeni tweet 53 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    6. tra 2019.

    At 1st Test-Comp () with , representing . Thanks to for starting Test-Comp, I hope to see more testing tools and larger benchmarks in the 2nd edition.

    5 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    19. ožu 2019.

    Excited to announce KLEE 2.0! Includes better C++ support, compatibility w/ recent LLVM, integration of CVC4/Yices2, improved path merging and much more! Big thanks to my co-maintainers for 2.0, , & and the 20+ contributors!

    7 replies 121 proslijeđeni tweet 304 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    27. sij 2019.

    Finally started converting my notes into slides for the upcoming talk at the dev room and it made me curious. What are the biggest issues you've faced while building a tool based on LLVM? maybe have something to share?

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    1. pro 2018.

    With a long delay, here are my slides on "An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure" from the TAROT Summer School 2018:

    37 proslijeđenih tweetova 75 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    8. stu 2018.

    Nice to see an interesting and diverse set of papers using

    1 proslijeđeni tweet 10 korisnika označava da im se sviđa
    Poništi

@kleesymex još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·