Merge 2-0-448 to backup_sync #59
Commits on Jul 1, 2024
-
[c2cpg] Safe getType / getNodeType (joernio#4706)
They may fail throwing an unrecoverable exception in case of unresolved includes etc. Also, some minor clean-up.
Commits on Jul 2, 2024
-
[Ruby] Parser tests (joernio#4704)
This PR handles: * Move parser tests from the `deprecated` frontend to the new `ruby` frontend. * Fixed parser issues with HashLiterals * Fixed parser issues with one-liner class definitions * Fixed parser issues with arguments in functions
-
[jssrc2cpg] Update astgen version (joernio#4714)
Brings in latest babel and typescript to astgen.
-
-
[ruby] Arrow Lambda Tests &
selfParameter Name Fix (joernio#4716)* [ruby] Arrow Lambda Parameter Fix Tests various lambdas and fixes `self` parameter name in methods.
-
-
use scala3-style
import foo.bar.*rather than._(joernio#4717)partly to minify the flatgraph diff
-
[speculative] minor work on reachingDef (joernio#4715)
* minor work on reachingDef * fmt --------- Co-authored-by: Michael Pollmeier <[email protected]>
Commits on Jul 3, 2024
-
[jssrc2cpg] Update astgen to v3.16.0 (joernio#4718)
This astgen version skipps giant, unparsable files with EMSCRIPTEN code now by default. For: https://shiftleftinc.atlassian.net/browse/SEN-2797
-
[c2cpg] Register call typefullnames correctly (joernio#4722)
Also handle fullnames with generics correctly when stubbing types For: https://shiftleftinc.atlassian.net/browse/SEN-2840
-
[ruby] Parser tests (joernio#4720)
This PR adds a few more parser tests based on tests in the `querying/` folder for Ruby.
-
[ruby] Simplify
<Base Classes (joernio#4723)Inheritance via `<` in Ruby can be arbitrary extensions which warrant post-processing analysis, so this removes any attempt to resolve the type at AST creation to allow for a post-processing pass to handle this instead.
-
Removed joern-stats from install script (joernio#4725)
Does not exist anymore.
-
[ruby] Make
<body>Call Static Dispatch (joernio#4726)As the `<body>` call is synthetic and meant to be immediately deterministic, so there is no reason it should be re-determined.
-
upgrade cpg and adapt (joernio#4728)
* upgrade cpg and adapt * use released cpg
-
minify flatgraph diff: remove unnessecary (and misleading) typescheck (…
…joernio#4729) ``` [warn] -- [E092] Pattern Match Unchecked Warning: /home/mp/Projects/shiftleft/joern.1/joern-cli/frontends/pysrc2cpg/src/test/scala/io/joern/pysrc2cpg/PySrc2CpgFixture.scala:74:61 [warn] 74 | path.resultPairs().collect { case (firstElement: String, secondElement: Option[Integer]) => [warn] | ^ [warn] |the type test for Option[Integer] cannot be checked at runtime because its type arguments can't be determined from Option[Int] [warn] | [warn] | longer explanation available when compiling with `-explain` } ```
Commits on Jul 4, 2024
-
[gosrc2cpg] Multi module support (joernio#4724)
Earlier, if we pass the directory path which contains multiple go modules. Processing was done with all the `.go` files mapped to single `go.mod` file. With this change, we have segregated the processing by first isolating all the files mapped to respective `go.mod`. This will also make sure to cleanup the memory footprint after every module is being processed. However, this will increase the processing when used with download dependency as it will process all the `go.mod` files for identifying and processing used dependencies.
-
-
[ruby] Singleton methods on objects (joernio#4734)
This PR changes the modelling of Singleton methods on objects. Ex: ```ruby class Animal; end animal = Animal.new class << animal def bark "woof" end end ``` Creates a lambda method for `animal.bark`, and assigns `animal.bark = methodRef(bark)` Resolves joernio#4721 -
[c2cpg] Fixed more exceptions (joernio#4736)
- we had one stackoverflow in fullname - evaluation.getOverload may return null
-
[javasrc2cpg] Fix always-crashing array initializer type resolution (j…
…oernio#4733) * Fix always-crashing array initializer type resolution * Fix exception when trying to cast ArrayType to ClassOrInterfaceType * Fix formatting
Commits on Jul 5, 2024
-
minify the flatgraph diff by bringing various things in before the bi…
…g merge (joernio#4737) * minify the flatgraph diff by bringing various things in before the big merge * fmt * revert accidental change
-
[TypeRecovery] Handle Member without AST Parent Safely (joernio#4739)
For new frontends with potentially malformed ASTs, type recovery must safely handle instances where members don't have AST parents.
-
[ruby] Handle
superCalls (joernio#4740)The parser emits calls to `super` as different from simple calls, this PR handles them.
Commits on Jul 8, 2024
-
[c2cpg] Fixed MethodRef typeFullName (joernio#4743)
Also: no more empty method fullnames
-
[ruby]
superArgumentnull& Association Key Handling (joernio#4746)* Safely handles the case when `super` call has a `null` argument from the parser * Shadows keywords when they are used as keys in association keys for named arguments in calls * Handles singleton methods in implicit returns
-
[ruby] Bind nested method members to method type (joernio#4747)
This PR fixes a bug where method members were not correctly linked to surrounding methods' bound type decls. Additionally, this handles `return` statements without any proceeding expression. Resolves joernio#4732
Commits on Jul 9, 2024
-
[ruby] Fixed Persistence Issue of Captured Variable Info (joernio#4750)
The initial implementation of the edge creation and captured local node was wrongly added to the `Ast` object instead of the diff graph. This PR rectifies this.
Commits on Jul 10, 2024
-
[ruby] Emit TypeRef instead of MethodRef for Lambdas (joernio#4753)
Due to Ruby method references being called via a `.call()` method, the type ref that should be emitted, is one that contains the `.call` method, but is not necessarily the same type as the one bound to the actual lambda. This makes that change, however, data-flow no longer works in the open-source data-flow tracker as this is not supported.
-
[ruby] Singleton Methods on Objects Follow-Up (joernio#4754)
* [ruby] Remodelled methods defined on singleton objects to no longer be lambdas * [ruby] Review comments
-
[ruby] Method/Type Full Name Simplification (joernio#4755)
* Renamed `:program` to `<main>` * Replaced `:` method separator to `.` * Removed `<global>` from full names of types and methods
Commits on Jul 11, 2024
-
[ruby] Handle Re-definitions (joernio#4757)
In the case of a type or method re-definition, the full name is ensured to be unique by a set that tracks all full-names for that compilation unit, and a counter. Resolves joernio#4742
-
-
-
[ruby] Remodel
yieldCalls (joernio#4763)This PR remodels `yield` calls as explicit invocations of the implicit or explicit block parameter of the surrounding method. Resolves joernio#4760
Commits on Jul 12, 2024
-
-
[ruby] Consistently Model Getters/Setters (joernio#4765)
Getters and setters were modelled as their CPG operations in isolation, and not using the ordinary AST creator hooks. This PR lowers the getters and setters as their `RubyNode` equivalents, and hands off the AST creation to `astForMethodDeclaration`.
-
[php2cpg] Support array/list unpacking (joernio#4764)
* [php2cpg] Support array/list unpacking in assignment * [php2cpg] Rename method and fix some tests * [php2cpg] code clean and improved test * [php2cpg] improved test
Commits on Jul 15, 2024
-
IF Cfg creation for if-statements with empty
thenblock. (joernio#4772) * IF Cfg creation for if-statements with empty `then` block. * Update joern-cli/frontends/c2cpg/src/test/scala/io/joern/c2cpg/passes/cfg/CfgCreationPassTests.scala Co-authored-by: maltek <[email protected]> --------- Co-authored-by: maltek <[email protected]>
-
[x2cpg] Improve Cfg creation. (joernio#4773)
- Changed test constructs used to test the CFG creation to return List instead of Set. This avoids deduplication which is required for correct tests because the number of edges between two nodes matters. - The above change unveiled a problem with the for-statement CFG: Duplicate edge between loop condition and body
