#programanalysis — Public Fediverse posts

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/bQIxgYMmWn4

Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs

#HPC #ProgramAnalysis

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/bQIxgYMmWn4

Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs

#HPC #ProgramAnalysis

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/bQIxgYMmWn4

Go check it out to learn a bit more about #DebugInfo and #OpaquePointers in the light of a #Typechecker for #MPI programs

#HPC #ProgramAnalysis

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

#HPC #llvm #clang #software #ProgramAnalysis

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/

#PhD #ProgramAnalysis

@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...

#ProgramAnalysis #SoundAnalysis #soundy #SAST

@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...

#ProgramAnalysis #SoundAnalysis #soundy #SAST

@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...

#ProgramAnalysis #SoundAnalysis #soundy #SAST

@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...

#ProgramAnalysis #SoundAnalysis #soundy #SAST

@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...

#ProgramAnalysis #SoundAnalysis #soundy #SAST

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

#HPC #ProgramAnalysis #CallGraph #TUDaSC

What child is this?

https://blog.trailofbits.com/2022/12/20/process-reparenting-microsoft-windows/

#MicrosoftWindows #ProgramAnalysis