Chenghang Shi

A possible parsing error related to type conversion of Golang

4

Given the below code(code snippet from [here](https://github.com/json-iterator/go/blob/master/any.go#L260)): ```go var anyType = reflect2.TypeOfPtr((*Any)(nil)).Elem() ``` if I'm not wrong, `(*Any)(nil)` should be a conversion expression. But it seems it's parsed as an...

Is there any API to dump the size of a relation rather than the whole content?

3

Hi, really excellent work! I wonder if there is any API to **dump the size of a relation** rather than the whole content, say, at the end of a transaction?...

Demand points-to test crashes(TestAgainstSimpleDriver.java)

1

When I run the `TestAgainstSimpleDriver.main` [here](https://github.com/wala/WALA/blob/master/com.ibm.wala.core/src/test/java/com/ibm/wala/demandpa/driver/TestAgainstSimpleDriver.java), it crashes. Here is the error message: ```shell =======---------------============= ANALYZING Ldemandpa/TestArraySetIter Exception in thread "main" com.ibm.wala.util.debug.UnimplementedError at com.ibm.wala.util.debug.Assertions.UNREACHABLE(Assertions.java:46) at com.ibm.wala.demandpa.flowgraph.SimpleDemandPointerFlowGraph$StatementVisitor.visitLoadMetadata(SimpleDemandPointerFlowGraph.java:1248) at com.ibm.wala.ssa.SSALoadMetadataInstruction.visit(SSALoadMetadataInstruction.java:64) at com.ibm.wala.demandpa.flowgraph.SimpleDemandPointerFlowGraph.addBlockInstructionConstraints(SimpleDemandPointerFlowGraph.java:476)...

Inconsistent Results of CFL reachability analysis

1

Hi, I use the `cfl` tool and encounter some issues. Since there is no running examples, I randomly choose one from https://github.com/SVF-tools/Test-Suite/. When running `cfl` with `-pocr-alias -grammar=/svf/include/CFL/VFG.txt /Test-Suite/test_cases_bc/complex_tests/test1-path.c.bc`, I...

[Question] Question about `SparseBitVector`

2

Hi, dear authors, I have a question about the `SparseBitVector`. If I want to add a bit-vector `source` to another bit-vector `target`, and return the diff bit-vector which is actually...

Hello, this project is interesting. And this PR is to fix a small bug I found when playing with it. That is, the gameStatusMessage doesn't change (O's turn -> X's...

Hello, I wonder why [FunctionType](https://github.com/antlr/symtab/blob/master/src/org/antlr/symtab/FunctionType.java) don't provide a method to return `returnType` of `FunctionType`. Also, the `toString` method of `FunctionType` also confuses me, maybe it's better to take `argumentTypes` into...

Hi, I ran into trouble when running the shipped test case. The command and output are listed below: ```shell PS PATH\TO\safe-sql-testdata> safesql.exe Usage: D:\lang\go_work\bin\safesql.exe [-q] [-v] package1 [package2 ...] -q...

Null pointer exception when running BenchmarkRunner on benchmark `columba-1.4`

5

### Overall Description Hello, I am using Tai-e's `BenchmarkRunner` to run the benchmark `columba-1.4`, and encounter a null pointer exception. ### Current Behavior  When running BenchmarkRunner on benchmark `columba-1.4`,...

Hi, I am using saber to detect memory leaks. I notice that some programs may use `operator new` and `operator delete` to allocate and deallocate memory. It seems like currently...