Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
mchalupa
/
dg
Public
Notifications
You must be signed in to change notification settings
Fork
141
Star
525
Code
Issues
90
Pull requests
3
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Commits
Branch selector
master
User selector
All users
Datepicker
All time
Commit history
Commits on May 21, 2025
Remove unnecessary break in lib/lllvm/PointerAnalysis/Instructions.cpp
Witloof1
authored and
mchalupa
committed
dc3615d
View commit details
Copy full SHA for dc3615d
Browse repository at this point
Commits on Dec 19, 2022
PTA: add support for insertelement from constants
Show description for df6e4e2
mchalupa
committed
df6e4e2
View commit details
Copy full SHA for df6e4e2
Browse repository at this point
llvm-slicer-crit: fix matching multiple criteria given with -c
Show description for 5617ff7
mchalupa
committed
5617ff7
View commit details
Copy full SHA for 5617ff7
Browse repository at this point
llvm-slicer-crit: improve the precision of matching without PTA
Show description for 0c0504d
mchalupa
committed
0c0504d
View commit details
Copy full SHA for 0c0504d
Browse repository at this point
llvm-slicer-crit: do not write out all matched criteria
Show description for 3cacfa9
mchalupa
committed
3cacfa9
View commit details
Copy full SHA for 3cacfa9
Browse repository at this point
PTA: ignore fence inst if we do not analyze threads
mchalupa
committed
80dbb53
View commit details
Copy full SHA for 80dbb53
Browse repository at this point
Commits on Dec 13, 2022
CI: install LLVM 14 on macOS runners
lzaoral
authored and
mchalupa
committed
2132fdc
View commit details
Copy full SHA for 2132fdc
Browse repository at this point
llvm-slicer: move criteriaAreNextInstr to llvm-slicer-opts.cpp
lzaoral
authored and
mchalupa
committed
a293f7b
View commit details
Copy full SHA for a293f7b
Browse repository at this point
llvm-slicer: move cutoffDiverging to llvm-slicer-opts.cpp
lzaoral
authored and
mchalupa
committed
63f6ab9
View commit details
Copy full SHA for 63f6ab9
Browse repository at this point
llvm-slicer.cpp: simplify *M.get() to *M
lzaoral
authored and
mchalupa
committed
ed696dd
View commit details
Copy full SHA for ed696dd
Browse repository at this point
llvm-slicer.cpp: use F instead of I to indentify Functions
lzaoral
authored and
mchalupa
committed
fa44694
View commit details
Copy full SHA for fa44694
Browse repository at this point
clang-tidy: disable readability-identifier-length
Show description for be5a56c
lzaoral
authored and
mchalupa
committed
be5a56c
View commit details
Copy full SHA for be5a56c
Browse repository at this point
Commits on May 18, 2022
Dockerfile: use Ubuntu 22.04 as a base
Show description for ce1b072
lzaoral
authored and
mchalupa
committed
ce1b072
View commit details
Copy full SHA for ce1b072
Browse repository at this point
llvm14: CallBase::getNumArgOperands was removed
lzaoral
authored and
mchalupa
committed
565a386
View commit details
Copy full SHA for 565a386
Browse repository at this point
llvm-utils.h: add include with llvm::errs
lzaoral
authored and
mchalupa
committed
497e29e
View commit details
Copy full SHA for 497e29e
Browse repository at this point
cmake: LLVM 14 requires C as a project language
Show description for a5cc14a
lzaoral
authored and
mchalupa
committed
a5cc14a
View commit details
Copy full SHA for a5cc14a
Browse repository at this point
CI: Add LLVM 14 jobs
lzaoral
authored and
mchalupa
committed
644bbff
View commit details
Copy full SHA for 644bbff
Browse repository at this point
Commits on May 17, 2022
CI: update actions/cache to v3
lzaoral
authored and
mchalupa
committed
8b79a2b
View commit details
Copy full SHA for 8b79a2b
Browse repository at this point
CI: do not build SVF 2.4 with -Werror
Show description for ff98786
lzaoral
authored and
mchalupa
committed
ff98786
View commit details
Copy full SHA for ff98786
Browse repository at this point
CI: update the macOS job to macOS 12
Show description for 0251462
lzaoral
authored and
mchalupa
committed
0251462
View commit details
Copy full SHA for 0251462
Browse repository at this point
CI: update the SVF job to use Ubuntu 22.04
lzaoral
authored and
mchalupa
committed
54b2c83
View commit details
Copy full SHA for 54b2c83
Browse repository at this point
CI: use matrix.os even when we use only one system
Show description for 4ea1f5a
lzaoral
authored and
mchalupa
committed
4ea1f5a
View commit details
Copy full SHA for 4ea1f5a
Browse repository at this point
CI: use clang-format 14 for style checking
Show description for 660399e
lzaoral
authored and
mchalupa
committed
660399e
View commit details
Copy full SHA for 660399e
Browse repository at this point
CI: update actions/checkout to v3
lzaoral
authored and
mchalupa
committed
c257786
View commit details
Copy full SHA for c257786
Browse repository at this point
CI: add Ubuntu 22.04 jobs for LLVM 13 and newer
lzaoral
authored and
mchalupa
committed
29b5517
View commit details
Copy full SHA for 29b5517
Browse repository at this point
Commits on May 9, 2022
crits: fix matching variables without information
Show description for a080856
mchalupa
committed
a080856
View commit details
Copy full SHA for a080856
Browse repository at this point
Commits on May 5, 2022
tests: Update Catch2 to 2.13.9
lzaoral
authored and
mchalupa
committed
c5e0aa0
View commit details
Copy full SHA for c5e0aa0
Browse repository at this point
Commits on May 2, 2022
tools/llvm-slicer-metadata: Fix compilation with GCC 12
lzaoral
authored and
mchalupa
committed
89ea032
View commit details
Copy full SHA for 89ea032
Browse repository at this point
tools/CMakeLists.txt: Add llvm-slicer-metadata.cpp to libdgllvmslicer
lzaoral
authored and
mchalupa
committed
65912ce
View commit details
Copy full SHA for 65912ce
Browse repository at this point
Commits on Apr 25, 2022
llvm-slicer: turn off cutoff-diverging when threads are on
mchalupa
committed
76eb8e0
View commit details
Copy full SHA for 76eb8e0
Browse repository at this point
RWG: clang-format Calls.cpp
Show description for a5b6c28
mchalupa
committed
a5b6c28
View commit details
Copy full SHA for a5b6c28
Browse repository at this point
turn on slicing for threads
vmihalko
authored and
mchalupa
committed
1a41469
View commit details
Copy full SHA for 1a41469
Browse repository at this point
pta inv: track uninitialie only for whole memory objects
mchalupa
committed
ae4b81d
View commit details
Copy full SHA for ae4b81d
Browse repository at this point
pta inv: be optimistic about unknown offsets and initialization
mchalupa
committed
ea4d884
View commit details
Copy full SHA for ea4d884
Browse repository at this point
PTA FSinv: fix setting uninitialized variables
Show description for 9a89fc7
mchalupa
committed
9a89fc7
View commit details
Copy full SHA for 9a89fc7
Browse repository at this point
Previous
Next
You can’t perform that action at this time.