Skip to content

Pull requests: flowr-analysis/flowr

New pull request New
17 Open 992 Closed
17 Open 992 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add security and randomness analysis abstract interpretation Related to abstract interpretation
#2545 opened Jun 10, 2026 by MaxAtoms Collaborator • Draft
@MaxAtoms
2495 interval pentagon ai improve pentagon ram usage abstract interpretation Related to abstract interpretation
#2544 opened Jun 9, 2026 by schuler-henry Collaborator Loading…
@schuler-henry
1
Multiple taint analyses as ProductDomain abstract interpretation Related to abstract interpretation
#2543 opened Jun 9, 2026 by MaxAtoms Collaborator • Draft
@MaxAtoms
Fix MultiValueDomain reductions
#2541 opened Jun 9, 2026 by MaxAtoms Collaborator Loading…
1
@MaxAtoms
1
feat: added benchmarking script
#2535 opened Jun 3, 2026 by schuler-henry Collaborator • Draft
@schuler-henry
38
[CFG]: Support for origin
#2488 opened May 18, 2026 by gigalasr Collaborator • Draft
[AbsInt] Improve implementation of abstract domains
#2485 opened May 15, 2026 by OliverGerstl Collaborator • Draft
1
@OliverGerstl
wip: lazy enrichments
#2479 opened May 12, 2026 by Ellpeck Member • Draft
1
Trigger on Packages with Known Information
#2472 opened May 6, 2026 by EagleoutIce Member • Draft
3 of 4 tasks
1
Move linter processing code into the search API
#2464 opened Apr 27, 2026 by Ellpeck Member Loading…
2
[Analyzer] rda plugin
#2457 opened Apr 23, 2026 by EagleoutIce Member • Draft
6 tasks done
@stimjannik
Incremental Parsing
#2387 opened Mar 11, 2026 by EagleoutIce Member • Draft
24
Generalize Wiki
#2322 opened Feb 10, 2026 by MaxAtoms Collaborator • Draft
@MaxAtoms
4
file level parallelization of the dataflow analysis
#2088 opened Dec 16, 2025 by EagleoutIce Member • Draft
[CFG]: Dead Loop Detection
#1858 opened Aug 6, 2025 by gigalasr Collaborator • Draft
@gigalasr
Add type inference
#1652 opened May 16, 2025 by EagleoutIce Member • Draft
1
1
Improve value handling
#1467 opened Mar 14, 2025 by EagleoutIce Member • Draft
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.