@phasarframework
phasar.org
Joined November 2017
  • Tweets7
  • Following4
  • Followers55
Hey @phasarframework, I was wondering if your tags are meant as somewhat-releases? At least tags v0120 and v0521 don't build the docker image for me. I don't know if I should file bug reports for it though?
2
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