@phasarframework
phasar.org
Joined November 2017
  • Tweets7
  • Following4
  • Followers55
1Media
Want to help work on #CogniCrypt? We are currently looking for a new full-time scientific staff member to drive forward its development. Please contact @profbodden for details. #joboffer #thesis #research #dissertation #HiringNow
7
5
SOAP 2020 will again be co-located with @PLDI this year. Do you have some new and exciting work related to program analysis? Consider submitting: pldi20.sigplan.org/home/SOAP… Deadline: 2020-03-23
8
2
10
Checkout our tool paper on PhASAR that we are going to present this Thursday at #TACAS / #ETAPS19. link.springer.com/chapter/10… … (overview) link.springer.com/content/pd… … (pdf, open access)

PhASAR: An Inter-procedural Static Analysis Framework for C/C++

Static program analysis is used to automatically determine program properties, or to detect bugs or security vulnerabilities in programs. It can be used as a stand-alone tool or to aid compiler...

link.springer.com
1
5
13
Phasar retweeted
Matt@matt_dz3 Mar 2019
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ github.com/secure-software-e… thewhitespace.de/publication… @pd_schubert @benhermann @profbodden #LLVM @phasarframework @SecEngUPB TACAS 2019
2
13
1
48
We sure don't argue with this assessment. :) See for yourself at TACAS in Prague: conf.researchr.org/event/eta…
This paper, as well as the tool, fills the gap and presents a robust implementation based on LLVM. - Reviewer #2

ALT This paper, as well as the tool, fills the gap and presents a robust implementation based on LLVM. - Reviewer #2

2
8
#phasar is coming soon!
1
Load more