@phasarframework
phasar.org
Joined November 2017
  • Tweets7
  • Following4
  • Followers55
1Media
Replying to @jplehr
Yes, these tags are meant to be more or less stable versions. Thanks for bringing that to our attention. Feel free to file these kind of bugs by creating issues on github. We will look into the docker image bug.
1
1
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