#programanalysis — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #programanalysis, aggregated by home.social.
-
My practitioner view of program analysis
https://sawyer.dev/posts/practitioner-program-analysis/
#HackerNews #programanalysis #practitioner #viewpoint #softwaredevelopment #techinsights #codingbestpractices #developercommunity
-
My practitioner view of program analysis
https://sawyer.dev/posts/practitioner-program-analysis/
#HackerNews #programanalysis #practitioner #viewpoint #softwaredevelopment #techinsights #codingbestpractices #developercommunity
-
My practitioner view of program analysis
https://sawyer.dev/posts/practitioner-program-analysis/
#HackerNews #programanalysis #practitioner #viewpoint #softwaredevelopment #techinsights #codingbestpractices #developercommunity
-
My practitioner view of program analysis
https://sawyer.dev/posts/practitioner-program-analysis/
#HackerNews #programanalysis #practitioner #viewpoint #softwaredevelopment #techinsights #codingbestpractices #developercommunity
-
My practitioner view of program analysis
https://sawyer.dev/posts/practitioner-program-analysis/
#HackerNews #programanalysis #practitioner #viewpoint #softwaredevelopment #techinsights #codingbestpractices #developercommunity
-
Yesterday we published the next recording from the #LLVM #Meetup #Darmstadt
Alexander Hueck - Opaque Pointers and Debug Info [LLVM Meetup Darmstadt March 2023]
https://youtu.be/bQIxgYMmWn4Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs
-
Yesterday we published the next recording from the #LLVM #Meetup #Darmstadt
Alexander Hueck - Opaque Pointers and Debug Info [LLVM Meetup Darmstadt March 2023]
https://youtu.be/bQIxgYMmWn4Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs
-
Yesterday we published the next recording from the #LLVM #Meetup #Darmstadt
Alexander Hueck - Opaque Pointers and Debug Info [LLVM Meetup Darmstadt March 2023]
https://youtu.be/bQIxgYMmWn4Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs
-
After quite a bit of work, I'm delighted that #MetaCG v0.8.0 just got released and I want to thank everybody who contributed to the project.
Check it out, star the repo and watch for more updates.
Get your copy at https://github.com/tudasc/MetaCG/releases/tag/v0.8.0 -
PhD position on Program Analysis for LLVM-IR and all its source languages: https://utwentecareers.nl/en/vacancies/1320/phd-position-on-program-analysis-for-llvm-ir-and-all-its-source-languages/
-
@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).
Now wrap your head around what a "soundy" analysis is...
-
@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).
Now wrap your head around what a "soundy" analysis is...
-
@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).
Now wrap your head around what a "soundy" analysis is...
-
@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).
Now wrap your head around what a "soundy" analysis is...
-
@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).
Now wrap your head around what a "soundy" analysis is...
-
I'm happy to share that I just released #MetaCG version 0.5.0 \o/
Besides a number of important bug fixes, we have *finally* reworked some internals that gave us a great performance improvement. For several use cases from minutes to seconds.
Thank you so much to everybody who contributed.If your curious, check it out at https://github.com/tudasc/MetaCG
