Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -52,3 +52,17 @@ TAGS

# mkdocs
site

# Analysis reports and generated files (runtime)
reports/
*.plist
*.gcda
*.gcno
*.gcov
coverage.json
test_coverage.json
compile_cmd.json
metadata.json
unique_compile_commands.json
compiler_info.json
.venv/
4 changes: 2 additions & 2 deletions alembic.ini
Original file line number Diff line number Diff line change
Expand Up @@ -59,5 +59,5 @@ script_location = web/server/codechecker_server/migrations/report
# are written from script.py.mako
# output_encoding = utf-8

sqlalchemy.url = postgres://postgres@localhost:5432/default
#sqlalchemy.url = sqlite:////home/username/.codechecker/Default.sqlite
; sqlalchemy.url = postgres://postgres@localhost:5432/default
sqlalchemy.url = sqlite:////home/andythejustice/.codechecker/Default.sqlite
44 changes: 44 additions & 0 deletions codechecker.sln
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.5.2.0
MinimumVisualStudioVersion = 10.0.40219.1
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "tools", "tools", "{07C2787E-EAC7-C090-1BA3-A61EC2A24D84}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "report-converter", "report-converter", "{C4BC770B-A742-1882-9A38-A3901E4BC6BF}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "tests", "tests", "{ED5D5768-1025-6775-36D4-DEDB68F49370}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "unit", "unit", "{813070FA-D34F-7DF4-63CA-7FDF14A9D60F}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "analyzers", "analyzers", "{A7EE451F-E987-0D26-780F-62046CFEA08D}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "roslynator_output_test_files", "roslynator_output_test_files", "{07DA1187-0B5D-0A1D-1A86-18B5ED7B118C}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "files", "tools\report-converter\tests\unit\analyzers\roslynator_output_test_files\files\files.csproj", "{0F6C4A19-0DFF-C465-E3A3-732A8C67BF88}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{0F6C4A19-0DFF-C465-E3A3-732A8C67BF88}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{0F6C4A19-0DFF-C465-E3A3-732A8C67BF88}.Debug|Any CPU.Build.0 = Debug|Any CPU
{0F6C4A19-0DFF-C465-E3A3-732A8C67BF88}.Release|Any CPU.ActiveCfg = Release|Any CPU
{0F6C4A19-0DFF-C465-E3A3-732A8C67BF88}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(NestedProjects) = preSolution
{C4BC770B-A742-1882-9A38-A3901E4BC6BF} = {07C2787E-EAC7-C090-1BA3-A61EC2A24D84}
{ED5D5768-1025-6775-36D4-DEDB68F49370} = {C4BC770B-A742-1882-9A38-A3901E4BC6BF}
{813070FA-D34F-7DF4-63CA-7FDF14A9D60F} = {ED5D5768-1025-6775-36D4-DEDB68F49370}
{A7EE451F-E987-0D26-780F-62046CFEA08D} = {813070FA-D34F-7DF4-63CA-7FDF14A9D60F}
{07DA1187-0B5D-0A1D-1A86-18B5ED7B118C} = {A7EE451F-E987-0D26-780F-62046CFEA08D}
{0F6C4A19-0DFF-C465-E3A3-732A8C67BF88} = {07DA1187-0B5D-0A1D-1A86-18B5ED7B118C}
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {51E28513-F92C-47C5-8399-2AC373E65359}
EndGlobalSection
EndGlobal
7 changes: 7 additions & 0 deletions reports/compile_cmd.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
[
{
"directory": "/Users/andythejustice/University/Thesis",
"command": "gcc hello.c",
"file": "hello.c"
}
]
1 change: 1 addition & 0 deletions reports/compiler_info.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{}
9 changes: 9 additions & 0 deletions reports/coverage/coverage.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{
"/Users/andythejustice/University/Thesis/hello.c": [
3,
4,
6,
8,
10
]
}
195 changes: 195 additions & 0 deletions reports/hello.c_clangsa_c6f76a02e6a1e881d0850d2a213aff5d.plist
Original file line number Diff line number Diff line change
@@ -0,0 +1,195 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>diagnostics</key>
<array>
<dict>
<key>category</key>
<string>Unused code</string>
<key>check_name</key>
<string>deadcode.DeadStores</string>
<key>description</key>
<string>Value stored to 'x' is never read</string>
<key>issue_hash_content_of_line_in_context</key>
<string>07b8862b4448a5c9e30aef0ab6aacd4c</string>
<key>location</key>
<dict>
<key>col</key>
<integer>2</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>depth</key>
<integer>0</integer>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>2</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<key>message</key>
<string>Value stored to 'x' is never read</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<dict>
<key>col</key>
<integer>8</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
</array>
</array>
</dict>
</array>
</dict>
<dict>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.DivideZero</string>
<key>description</key>
<string>Division by zero</string>
<key>issue_hash_content_of_line_in_context</key>
<string>6397768149a954a82ad4b502cdc2ed81</string>
<key>location</key>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>2</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>4</integer>
</dict>
<dict>
<key>col</key>
<integer>4</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>4</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<key>message</key>
<string>Division by zero</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
<dict>
<key>col</key>
<integer>8</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>6</integer>
</dict>
</array>
</array>
</dict>
</array>
</dict>
</array>
<key>files</key>
<array>
<string>/Users/andythejustice/University/Thesis/hello.c</string>
</array>
<key>metadata</key>
<dict>
<key>analyzer</key>
<dict>
<key>name</key>
<string>clangsa</string>
</dict>
<key>generated_by</key>
<dict>
<key>name</key>
<string>CodeChecker</string>
<key>version</key>
<string>6.27.0</string>
</dict>
</dict>
</dict>
</plist>
1 change: 1 addition & 0 deletions reports/metadata.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"version": 2, "tools": [{"name": "codechecker", "action_num": 1, "command": ["/Users/andythejustice/University/Thesis/CodeChecker/build/CodeChecker/lib/python3/codechecker_common/cli.py", "analyze", "../build.json", "-o", "reports"], "version": "6.27 (1d5c4ffc6cc45f4f6eb61756faee92b8699ff39a)", "working_directory": "/Users/andythejustice/University/Thesis/codechecker", "output_path": "/Users/andythejustice/University/Thesis/codechecker/reports", "result_source_files": {"/Users/andythejustice/University/Thesis/codechecker/reports/hello.c_clangsa_c6f76a02e6a1e881d0850d2a213aff5d.plist": "/Users/andythejustice/University/Thesis/hello.c"}, "analyzers": {"clangsa": {"checkers": {"alpha.clone.CloneChecker": false, "alpha.core.BoolAssignment": false, "alpha.core.C11Lock": false, "alpha.core.CastSize": false, "alpha.core.CastToStruct": false, "alpha.core.Conversion": false, "alpha.core.DynamicTypeChecker": false, "alpha.core.FixedAddr": false, "alpha.core.IdenticalExpr": false, "alpha.core.PointerArithm": false, "alpha.core.PointerSub": false, "alpha.core.SizeofPtr": false, "alpha.core.StackAddressAsyncEscape": false, "alpha.core.TestAfterDivZero": false, "alpha.cplusplus.DeleteWithNonVirtualDtor": false, "alpha.cplusplus.EnumCastOutOfRange": false, "alpha.cplusplus.InvalidatedIterator": false, "alpha.cplusplus.IteratorRange": false, "alpha.cplusplus.MismatchedIterator": false, "alpha.cplusplus.STLAlgorithmModeling": false, "alpha.cplusplus.SmartPtr": false, "alpha.deadcode.UnreachableCode": false, "alpha.fuchsia.Lock": false, "alpha.llvm.Conventions": false, "alpha.nondeterminism.PointerIteration": false, "alpha.nondeterminism.PointerSorting": false, "alpha.osx.cocoa.DirectIvarAssignment": false, "alpha.osx.cocoa.InstanceVariableInvalidation": false, "alpha.osx.cocoa.MissingInvalidationMethod": false, "alpha.osx.cocoa.localizability.PluralMisuseChecker": false, "alpha.security.ArrayBound": false, "alpha.security.ArrayBoundV2": false, "alpha.security.MallocOverflow": false, "alpha.security.MmapWriteExec": false, "alpha.security.ReturnPtrRange": false, "alpha.security.cert.env.InvalidPtr": false, "alpha.security.cert.pos.34c": false, "alpha.security.taint.TaintPropagation": false, "alpha.unix.BlockInCriticalSection": false, "alpha.unix.Chroot": false, "alpha.unix.PthreadLock": false, "alpha.unix.SimpleStream": false, "alpha.unix.StdCLibraryFunctionArgs": false, "alpha.unix.Stream": false, "alpha.unix.cstring.BufferOverlap": false, "alpha.unix.cstring.NotNullTerminated": false, "alpha.unix.cstring.OutOfBounds": false, "alpha.webkit.UncountedCallArgsChecker": false, "alpha.webkit.UncountedLocalVarsChecker": false, "fuchsia.HandleChecker": false, "nullability.NullableDereferenced": false, "nullability.NullablePassedToNonnull": false, "nullability.NullableReturnedFromNonnull": false, "optin.mpi.MPI-Checker": false, "optin.osx.OSObjectCStyleCast": false, "optin.osx.cocoa.localizability.EmptyLocalizationContextChecker": false, "optin.osx.cocoa.localizability.NonLocalizedStringChecker": false, "optin.performance.GCDAntipattern": false, "optin.performance.Padding": false, "osx.API": false, "osx.MIG": false, "osx.NumberObjectConversion": false, "osx.OSObjectRetainCount": false, "osx.ObjCProperty": false, "osx.SecKeychainAPI": false, "osx.cocoa.AtSync": false, "osx.cocoa.AutoreleaseWrite": false, "osx.cocoa.ClassRelease": false, "osx.cocoa.Dealloc": false, "osx.cocoa.IncompatibleMethodTypes": false, "osx.cocoa.Loops": false, "osx.cocoa.MissingSuperCall": false, "osx.cocoa.NSAutoreleasePool": false, "osx.cocoa.NSError": false, "osx.cocoa.NilArg": false, "osx.cocoa.NonNilReturnValue": false, "osx.cocoa.ObjCGenerics": false, "osx.cocoa.RetainCount": false, "osx.cocoa.RunLoopAutoreleaseLeak": false, "osx.cocoa.SelfInit": false, "osx.cocoa.SuperDealloc": false, "osx.cocoa.UnusedIvars": false, "osx.cocoa.VariadicMethodTypes": false, "osx.coreFoundation.CFError": false, "osx.coreFoundation.CFNumber": false, "osx.coreFoundation.CFRetainRelease": false, "osx.coreFoundation.containers.OutOfBounds": false, "osx.coreFoundation.containers.PointerSizedValues": false, "security.insecureAPI.DeprecatedOrUnsafeBufferHandling": false, "security.insecureAPI.bcmp": false, "security.insecureAPI.bcopy": false, "security.insecureAPI.bzero": false, "security.insecureAPI.decodeValueOfObjCType": false, "security.insecureAPI.strcpy": false, "webkit.NoUncountedMemberChecker": false, "webkit.RefCntblBaseVirtualDtor": false, "webkit.UncountedLambdaCapturesChecker": false, "core.CallAndMessage": true, "core.DivideZero": true, "core.NonNullParamChecker": true, "core.NullDereference": true, "core.StackAddressEscape": true, "core.UndefinedBinaryOperatorResult": true, "core.VLASize": true, "core.uninitialized.ArraySubscript": true, "core.uninitialized.Assign": true, "core.uninitialized.Branch": true, "core.uninitialized.CapturedBlockVariable": true, "core.uninitialized.UndefReturn": true, "cplusplus.InnerPointer": true, "cplusplus.Move": true, "cplusplus.NewDelete": true, "cplusplus.NewDeleteLeaks": true, "cplusplus.PlacementNew": true, "cplusplus.PureVirtualCall": true, "cplusplus.StringChecker": true, "deadcode.DeadStores": true, "nullability.NullPassedToNonnull": true, "nullability.NullReturnedFromNonnull": true, "optin.cplusplus.UninitializedObject": true, "optin.cplusplus.VirtualCall": true, "optin.portability.UnixAPI": true, "security.FloatLoopCounter": true, "security.insecureAPI.UncheckedReturn": true, "security.insecureAPI.getpw": true, "security.insecureAPI.gets": true, "security.insecureAPI.mkstemp": true, "security.insecureAPI.mktemp": true, "security.insecureAPI.rand": true, "security.insecureAPI.vfork": true, "unix.API": true, "unix.Malloc": true, "unix.MallocSizeof": true, "unix.MismatchedDeallocator": true, "unix.Vfork": true, "unix.cstring.BadSizeArg": true, "unix.cstring.NullArg": true, "valist.CopyToSelf": true, "valist.Uninitialized": true, "valist.Unterminated": true}, "analyzer_statistics": {"failed": 0, "failed_sources": [], "successful": 1, "successful_sources": ["/Users/andythejustice/University/Thesis/hello.c"], "version": "14.0.0"}}}, "skipped": 0, "timestamps": {"begin": 1764156459.443733, "end": 1764156460.5000262}}]}
1 change: 1 addition & 0 deletions reports/unique_compile_commands.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[{"command": "gcc hello.c", "directory": "/Users/andythejustice/University/Thesis", "file": "/Users/andythejustice/University/Thesis/hello.c"}]
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
# -------------------------------------------------------------------------
#
# Part of the CodeChecker project, under the Apache License v2.0 with
# LLVM Exceptions. See LICENSE for license information.
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
#
# -------------------------------------------------------------------------


Loading