secure-software-engineering/phasar issues and pull requests

#733 - Pull in the IDESolver++ (aka. IterativeIDESolver)

Pull Request - State: open - Opened by fabianbs96 about 2 months ago
Labels: enhancement, extensive

#732 - Added a uninit variables analysis with indexes

Pull Request - State: open - Opened by StamesJames about 2 months ago - 2 comments

#731 - F model dataflow for libraries

Pull Request - State: closed - Opened by bulletSpace 3 months ago

#730 - Opaque Pointers Integration

Pull Request - State: open - Opened by fabianbs96 4 months ago
Labels: extensive, refactoring, technical debt

#726 - Split LLVMBasedICFG

Pull Request - State: open - Opened by fabianbs96 6 months ago
Labels: enhancement, refactoring, technical debt, performance

#725 - Refactor getAsJson()

Pull Request - State: open - Opened by fabianbs96 6 months ago
Labels: refactoring

#100 - No text report available and SIGSEGV with logging enabled.

Issue - State: closed - Opened by wtdcode over 4 years ago - 3 comments

#100 - No text report available and SIGSEGV with logging enabled.

Issue - State: closed - Opened by wtdcode over 4 years ago - 3 comments

#99 - Removes cyclic linking dependency for VaRA-LTO

Pull Request - State: closed - Opened by vulder over 4 years ago

#98 - F soundiness flag

Pull Request - State: closed - Opened by LinusJungemann over 4 years ago

#98 - F soundiness flag

Pull Request - State: closed - Opened by LinusJungemann over 4 years ago

#97 - Add capability to get out edges and to remove graph items.

Pull Request - State: closed - Opened by ddiepo-pjr over 4 years ago

#97 - Add capability to get out edges and to remove graph items.

Pull Request - State: closed - Opened by ddiepo-pjr over 4 years ago

#96 - Provide Iterators for BitVectorSet

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: enhancement

#96 - Provide Iterators for BitVectorSet

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: enhancement

#95 - Implement a Full-constant Propagation for the InterMonoSolver

Issue - State: closed - Opened by pdschubert almost 5 years ago - 2 comments
Labels: enhancement, check for relevance

#95 - Implement a Full-constant Propagation for the InterMonoSolver

Issue - State: closed - Opened by pdschubert almost 5 years ago - 2 comments
Labels: enhancement, check for relevance

#94 - ICFG Optimizations -- graph merging and others.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#94 - ICFG Optimizations -- graph merging and others.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#93 - Optimize calls to get the Users for a a points-to vertex.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#93 - Optimize calls to get the Users for a a points-to vertex.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#92 - Refactor Points-To graph merge logic.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#92 - Refactor Points-To graph merge logic.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#91 - Revert "f-CMakePackage"

Pull Request - State: closed - Opened by pdschubert almost 5 years ago

#91 - Revert "f-CMakePackage"

Pull Request - State: closed - Opened by pdschubert almost 5 years ago

#90 - f-CMakePackage

Pull Request - State: closed - Opened by pdschubert almost 5 years ago

#89 - Fix typo for LLVM Directory.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#88 - Finish IDESolver::emitESGasDot() Implementation

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: enhancement

#87 - Allow for compiling to LLVM IR through distcc.

Pull Request - State: closed - Opened by MMory almost 5 years ago - 1 comment

#87 - Allow for compiling to LLVM IR through distcc.

Pull Request - State: closed - Opened by MMory almost 5 years ago - 1 comment

#86 - printMethod() to printFunction() Transformation

Pull Request - State: closed - Opened by bsharma021 almost 5 years ago - 1 comment

#86 - printMethod() to printFunction() Transformation

Pull Request - State: closed - Opened by bsharma021 almost 5 years ago - 1 comment

#85 - Check (And Fix?) PhASAR's Library Dependencies on F-CMakePackage

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: enhancement

#84 - Add Flag to Add Flag to Set the Level of Soundiness

Issue - State: closed - Opened by pdschubert almost 5 years ago - 1 comment
Labels: enhancement, extensive

#83 - Fix Memory Leak in strategy-concept Branch

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: enhancement

#82 - Fix get calls for the case the function is not a vertex.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#81 - Improve Concepts of Analysis Problems

Issue - State: closed - Opened by pdschubert almost 5 years ago - 1 comment
Labels: enhancement, discuss, extensive, check for relevance

#80 - Fix build to allow custom boost, llvm and phasar directories.

Pull Request - State: closed - Opened by ddiepo-pjr almost 5 years ago

#79 - Finish printMethod() to printFunction() Transformation

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: good first issue

#78 - Improve on LLVM IR Generation for Unit Tests

Issue - State: closed - Opened by pdschubert almost 5 years ago - 1 comment
Labels: enhancement

#77 - Replace std::shared_ptrs for Flow- and Edge-Functions by Raw Pointers

Issue - State: closed - Opened by pdschubert almost 5 years ago - 1 comment
Labels: enhancement, extensive

#76 - Distributed Work-list Algorithm

Issue - State: closed - Opened by pdschubert almost 5 years ago - 1 comment
Labels: enhancement, extensive, check for relevance

#75 - Cache for the Inter-procedural Monotone Framework

Issue - State: closed - Opened by pdschubert almost 5 years ago
Labels: enhancement, extensive, check for relevance

#74 - I cannot see any result

Issue - State: closed - Opened by kjeom almost 5 years ago - 4 comments

#73 - GeneralStatisticsPass: Added counter for Load instructions

Pull Request - State: closed - Opened by Gismo150 almost 5 years ago

#72 - Fixes build error due to missing boost::filesystem

Pull Request - State: closed - Opened by vulder almost 5 years ago

#71 - Added missing getter functions in the GeneralStatisticsPass

Pull Request - State: closed - Opened by Gismo150 almost 5 years ago

#70 - Vulnerability checks based on context-sensitive symbols

Issue - State: closed - Opened by ttllyy111 almost 5 years ago - 1 comment

#69 - Quickfix boost linking issue

Pull Request - State: closed - Opened by vulder about 5 years ago

#68 - Bump mixin-deep from 1.3.0 to 1.3.2 in /vis

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#67 - Improve IFDS/IDE text reports and IR to source code mapping

Pull Request - State: closed - Opened by rleer about 5 years ago

#66 - Dev crysl predicate

Pull Request - State: closed - Opened by shariq02 about 5 years ago - 1 comment

#65 - IFDSEnvironmentVariableTracing refactored to IFDSFieldSensTaintAnalysis

Pull Request - State: closed - Opened by bsharma021 about 5 years ago - 1 comment

#64 - Dev docker integration pretty

Pull Request - State: closed - Opened by pdschubert about 5 years ago

#63 - Improving bootstrap script

Pull Request - State: closed - Opened by fabianbs96 about 5 years ago

#62 - Rewrite phasar cmake to use lib/exec macro linking capabilities

Pull Request - State: closed - Opened by vulder about 5 years ago

#61 - Refactor build for boost, and llvm target dir and running tests.

Pull Request - State: closed - Opened by ddiepo-pjr about 5 years ago - 3 comments

#60 - Emit Exploded Super Graph as .dot graph

Pull Request - State: closed - Opened by rleer about 5 years ago
Labels: enhancement

#59 - Fixes shared/static linking of phasar_db and _pass libs

Pull Request - State: closed - Opened by vulder about 5 years ago

#58 - Enables phasar to load bc files as LLVMModule

Pull Request - State: closed - Opened by vulder about 5 years ago

#57 - Linking problem with LLVM libraries

Issue - State: closed - Opened by ddcc about 5 years ago - 10 comments
Labels: bug

#56 - Converts wrong asserts to llvm_unreachable

Pull Request - State: closed - Opened by vulder about 5 years ago

#55 - running phasar on pldi examples

Issue - State: closed - Opened by ochipara about 5 years ago - 2 comments

#54 - branch and phi instruction

Issue - State: closed - Opened by ihavenomoneybuthope about 5 years ago - 1 comment

#53 - Updated the README

Pull Request - State: closed - Opened by fabianbs96 over 5 years ago

#52 - propagating tainted value generated by a callee

Issue - State: closed - Opened by ihavenomoneybuthope over 5 years ago - 3 comments

#51 - Dev test intermono taintanalysis

Pull Request - State: closed - Opened by fabianbs96 over 5 years ago

#50 - Dev test uninitialized variables

Pull Request - State: closed - Opened by fabianbs96 over 5 years ago

#49 - Help : Dumping Exploded Super Graph

Issue - State: closed - Opened by animeshbchowdhury over 5 years ago - 1 comment
Labels: enhancement

#48 - Prevents ObjectSlicing on InterMonoSolver and Printers

Pull Request - State: closed - Opened by vulder over 5 years ago

#47 - Adds missing dtors to InterMonoSolver

Pull Request - State: closed - Opened by vulder over 5 years ago

#46 - Fixes typo in cmake macro to find correct phasar headers.

Pull Request - State: closed - Opened by vulder over 5 years ago

#45 - Fixes wrong environment lookup during config load.

Pull Request - State: closed - Opened by vulder over 5 years ago

#44 - Fix issue of inter mono taint unittest

Pull Request - State: closed - Opened by sepidetari over 5 years ago

#43 - Test MonoSolver

Pull Request - State: closed - Opened by sepidetari over 5 years ago

#42 - Fix typo in EdgeFunctions interface

Pull Request - State: closed - Opened by rleer over 5 years ago

#41 - IDETypeStateAnalysis 1.0

Pull Request - State: closed - Opened by rleer over 5 years ago

#40 - development branch building fails

Issue - State: closed - Opened by ihavenomoneybuthope over 5 years ago - 1 comment

#39 - fix illegal increment of iterators being invalidated in loop body

Pull Request - State: closed - Opened by MMory over 5 years ago

#38 - fix UAF in PAMM

Pull Request - State: closed - Opened by MMory over 5 years ago

#37 - Error: reference to 'bfs' is ambiguous

Issue - State: closed - Opened by mshockwave over 5 years ago - 7 comments

#36 - Adding Inter Taint Analysis to Monotone Framework

Pull Request - State: closed - Opened by sepidetari over 5 years ago

#35 - Fixed CMake deps for llvm-8

Pull Request - State: closed - Opened by vulder over 5 years ago

#34 - turn gnu extensions off, update wali submodule

Pull Request - State: closed - Opened by MMory over 5 years ago

#33 - BackwardICFG fix part 2

Pull Request - State: closed - Opened by MMory over 5 years ago

#32 - Fixing LLVMBasedBackwardsICFG constructors

Pull Request - State: closed - Opened by MMory over 5 years ago

#31 - LLVM 5.0.1 or 5.0.0 installation for macOS

Issue - State: closed - Opened by tiganov over 5 years ago - 2 comments

#30 - Releases do not contain external repos and thus fail to compile

Issue - State: closed - Opened by Inventitech over 5 years ago - 8 comments
Labels: discuss

#29 - Add dev version of curl for cmake to complete

Pull Request - State: closed - Opened by Inventitech over 5 years ago

#28 - Phasar won't build on Ubuntu

Issue - State: closed - Opened by tiganov over 5 years ago - 2 comments

#27 - Development

Pull Request - State: closed - Opened by MMory over 5 years ago

#26 - Update dependencies

Pull Request - State: closed - Opened by sepidetari almost 6 years ago

#25 - LLVMBasedICFG does not seem to recognize Call instructions containing BitCast

Issue - State: closed - Opened by flix- almost 6 years ago - 3 comments

#24 - Call graph test cases

Pull Request - State: closed - Opened by sepidetari almost 6 years ago

#23 - PointsToGraph goes out of memory

Issue - State: closed - Opened by zhaogang92 almost 6 years ago - 2 comments

#22 - Writing IFDS/IDE analysis

Issue - State: closed - Opened by zhaogang92 almost 6 years ago - 7 comments

#21 - Generating json output

Issue - State: closed - Opened by caballa almost 6 years ago - 4 comments

#20 - re-enable osx testing

Pull Request - State: closed - Opened by stephengroat almost 6 years ago - 1 comment

#19 - add slash after target dir

Pull Request - State: closed - Opened by ryanphuang almost 6 years ago - 1 comment

#18 - Add a Codacy badge to README.md

Pull Request - State: closed - Opened by codacy-badger about 6 years ago

GitHub / secure-software-engineering/phasar issues and pull requests