Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Analyze the package with RcppDeepState #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

FabrizioSandri
Copy link
Member

RcppDeepState Analysis

This pull request aims to find bugs in this R package using RcppDeepState-action

@github-actions
Copy link

RcppDeepState Report

function name message file line address trace R code
rcpp_fastmatclcr 69 bytes in 1 blocks are possibly lost in loss record 20 of 1,299 testing_C_function.cpp:24 No Address Trace found
Test code
testlist <- list(I = structure(c(1.14309075386439e-69, -1.24465481172925e+38, 9.1816104190188e+120, 8.87807408523677e+228, 4.61990802701973e-259, -Inf, -1.24465481172925e+38, Inf), .Dim = c(1L, 8L)), MSEmat = structure(c(5.85386639599227e-142, 3.35438665335474e-25, 1.57595107427482e-25, 4.80710972362896e-260, 5.76074143656024e+125, 2.4245150256669e+109, 1.15849345699697e+89, 1.96033859386375e-133, 2.28907825193639e+112, 1.31266972601185e-174, 2.37228499320242e-178, 1.07116149861206e+159, -Inf, 1.81883177844549e+221, 1.02778613501998e-196, 8.58666601472224e-86, 4.10255170715648e-196, 341727.714972476, 1.0837715026626e+110, 1.55765553047606e+274, 2.04465127484028e-24, 2.05385813958263e-263, NaN, 6.3995960731876e-239, 2.44768219715174e+183, 4.31391488236348e-51, 1.07779986518822e-65, 6.04884841473148e+217, 8.56290695588531e-275, NaN, -Inf, 2.09327742425486e-119, 9.33269691480864e-124, 4.54979333774275e-239, 3.67998574314438e+259, 4.04649607390755e-109, 2.20502879283949e-186, 2.65151002026584e-192, 2.3676505613365e-254, 4.59575333630563e+200, 6.66649817650818e+202, 5.6386778321032e-77, 5.06722043966609e+154, 5.81355741102389e-161, 2.2774362035818e+204, 1.51325109439015e+213, 2.6210877246874e+156, 2.88302654774996e-176, 8.71901072982388e-216, 7.31929651960516e-81, 1.92504581736033e-44, 4.05443841107575e+179, 1.93259416010264e+163, 5.03238045735464e+88, 6.8879337843894e-215, 1.63655667588163e+117, 3.71529586035727e+172, 4.84349331616714e-285, 1.10032094211309e+157, 1.03285757478251e+25), .Dim = c(10L, 6L)), S = c(7.61953706798226e+65, 5.77056785506924e+303, -5.14074971663936e+172, 1.26912639259509e-135, 1.07930895715006e-293, Inf, -4.2346050252083e+52, -6.42149504874517e+169, 8.6608123391715e+165, 1.4516861704241e+206, -7.0396576916885e+155, 6.83531048751278e-167, 1.15247265342904e+267, -5.98087806612769e-124, -3.89310115247406e-145, 4.28202298627764e+35, 4.68217394497996e+140, -3.17487739713721e-129, 3.01130984683389e-05, -5.78342458283433e-257, 6.90344068454746e-166, -2.37167990270249e+263, 1.44389711166828e+28, -3.81551868518679e-160, 5.73137248142905e+256, -Inf, 1.28071204889491e-89, 4.26589585217698e-145, NaN, 8.53954868734327e+21, 0), maxlevel = 1734442318L,     w = c(-1.08630580077032e-87, -7.66634731191062e+39, -2.48600960414749e+59,     1.82273385425353e+128, -9.01785180864546e-160, 7.83029466856607e+149,     2.07456043377321e+197, -0.119265758657431, 3.57115982906164e+103,     9.33692140610217e-65, -4.4490059358836e+158, -4.68122005054663e+190,     2.57063530653942e-62, 2.10300794794875e-204, -3.48443113265278e-42,     -3.40561975419467e+118, 4.31669097884625e+188, 8.41009441186497e+96,     1.06384089146281e+74, Inf, 8.36812133516486e-99, 1.18073963175866e+144,     4.56553387866767e+222, 4.3543592149192e+145, -5.77824741634519e-263,     -1.14325552993743e-121, 2.85701552861362e-204, 1.37169983547583e-290,     -1.20210303484175e+230, 1.68545397996936e-111, -2.36576931989098e+169,     -2.25863335212623e-131, 4.35795561898965e+210, 3.95569782485998,     1.61495394922566e-274, -3.78219586711041e-33, -1.57880863117968e+25,     -1.73190243699343e-170, -1.76465998828601e-30, 5.38998625638761e-302,     8.75303877733749e-151, 1.74222963374708e+149, Inf, -1.77505664108602e-305,     4.67288554444331e-160, -1.18667301179466e-93, -1.3644822404736e-127,     -4.21734685228092e+109, 6.61496172222281e-64, -5.87301353125527e-95,     -6.84775165647422e-200, 2.41071282965741e-53, -6.59490667040118e+83,     -1.08224564359604e-302, -4.2214793725614e-80, 3.87680785050408e+144,     -1.07665768792912e-249, -3.3648259984743e-65, -1.23239540236356e+194,     9.92039244613414e+179, -2.08149947214945e+181, 3.67337775629777e-301,     2.22910451229188e+156, 8.90539597861289e-197, -5.48442676495575e-15,     -5.09958212261215e+151, -1.81409355253767e-131, 7.56858445930695e-104,     -8.39897150121004e-17, -1.69333305774965e-157, 4.29544886856133e+43,     -8.51928607286109e+196, NA, 1.20316323893509e+75, 2.0693019343931e+52,     -1.80771262947803e-158, -2.88478153853082e+137, -1.65412244941587e-106,     3.44922746152594e+190, 6.76234937330763e-271, 9.51031056902436e+216,     0))
result <- do.call(CGGP:::rcpp_fastmatclcr, testlist)
rcpp_fastmatclcranddclcr 69 bytes in 1 blocks are possibly lost in loss record 20 of 1,300 testing_C_function.cpp:64 No Address Trace found
Test code
testlist <- list(I = structure(c(3.62772770821208e+231, 876766499653736704, 1.92957449408966e+64, 7.89801816543149e-235, 1.27555746081491e+140, 6.26348406506899e+160, 2.94773864311548e+223, 4.71006923613546e-108, 3.9078876982906e+279, 1.20980021543944e-29, 4.18637856977983e-17, 7.66089217032437e-178, 5.99745522146848e-142, 1.05516289821449e-116, 3.48301500545918e+167, 9.75220132528812e+244, 3.02956199949121e+130, 1.02882388929648e-150, 7.41505397268669e-184, 1.45639908890064e-232, 6.71182008071928e-30, 1.36786163839831e-165, 1.05054252994085e-190, 5.28867941703601e-189, 3.32768812177404e-191, 9.470756495292e+238, 1.60293441326663e+144, 5.69102441604028e-261, 780880623436310, 3.70696328868792e+175, 4.93894963996313e+181, 7.49938030247755e+37, 3.44326268675854e-139, 6.24964031564643e-209, 9.519412876766e-115, 2.95356876188412e+70, 3.72228607881479e+59, 3.93218075733212e+83, 9.03656033173792e-159, 2.76319590262846e-250, 8.34943640275061e-161, 2.38378941207339e+73, 3.7841989846266e-185, 1.35838630826885e-223, 8.73159751287146e-126), .Dim = c(5L, 9L)), MSEmat = structure(c(5.92770463957902e+143, Inf, -Inf), .Dim = c(3L, 1L)), S = c(-1.03023849649766e+118, 1.3015781756858e-205, -3.02760250860645e-42, -1.16437311453258e+192, NA, 1.53149001210765e+113, 5.73252125613316e-304, NaN, Inf, 1.28793290318168e-167, 6.52557827550331e-94, -1.97400286698973e-69, 2.67957985314342e-160, -6.99606864507063e+27, -2.94323969811002e+161, 4.51198801864212e-23, NA, 7.40250275329471e+61, 9.1699376794303e-132, -1.01991779060861e+53, -1.33248959829294e-05, -2.79015141182984e+89, -6.36684616002136e+153, 0), dMSEmat = structure(c(NaN, 9.7409440572731e-141, Inf, 2.87642522625111e-176, 1.25808182466121e-210, 2.11909719070552e-159, 9.09280871127955e+76, 1.72241132867964e+197, 2.65868263433329e+89, Inf, 1.38885377206492e+272, 6.04614851037427e-235, 4.88075807516e+53, 7.62897729010783e+244, 1.09531164524377e-39, 1.0531582532699e-269, 7.10524371953598e-47, 2.66445698801295e+118, 1.41291200500986e+160, 2.81286600670202e+302, 2.28769558117686e+230, 1.3759941405942e-116, 9.70099106030593e+154, 1.3192213909907e+188, 1.7610848317107e-160, 2.78322268511189e+234, 4.64495261364835e-290, 3.53935398283627e-59, 6.20409844650439e-27, 2.07183649247756e+22, -Inf, 2.21434375242093e+39, 3.47901100882913e-47, 3.70549509164848e+68, 7.96549712561917e+124), .Dim = c(7L, 5L)), dS = structure(c(1.4361719187385e-71, 3.81917083915634e+199, 5.79643591845414e-190, 9.05833314537043e+34), .Dim = c(4L, 1L)), maxlevel = -694427522L, numpara = 1399992124L, w = c(-5.02606162011409e+69, -6.4840887671746e+72, 2.7000953773335e+212, -8.60990281198247e-202, -1.95549500289739e+152, -1.24110891767993e+138, 3.49335706935871e+238, 4.25325061355051e+281, -9.20608831132746e-120, 4.88143063468812e-113, 3.73183034076493e-64, 2.26952196938718e-101, -6.60752151680887e-161, 6.43459135215805e-269, 29811762879089, 6.21377873947548e+239, -2.83167561457283e-271, 2.16297385368337e-94, 1.00712071049274e-218, 1.00447366092503e+269, -4.00215899792788e-106, -3.68710896448736e+153, 5.0543902237888e-133, -5.727823215883e+285, -69423033.6258526, -1.33252955197651e-40, 9.50990629575751e+119, 1.74839011292624e-202, 1.00609990871948e+98, -1.30825599338488e-148, -1.70323404106405e-241, -6.14303111985575e+34, -3.05494251857104e+210, 8.98871167354893e-45, -2.25071792278886e+31, -4.41183241082462e+217, 6.05779713194149e+32, -6.13584651759414e+83, -3.56805462628602e-08, 7.19437785965389e+124, -2.49965301441063e-222, -1.58404389252886e+177, -1.36786380473659e+57, -5.10177878076477e-26, -6.42247784511346e+116, 2.22391004648624e-250, -2.09407829848044e-172, 6496775011456.69, -1.87410832299074e+198, 3.08659301359405e-20, -2.30090087255218e-116, -8.17707910035575e+307, -9204710548536870, 2.82952850565567e+201, -2.99981887849084e-294, -1.1583331604113e-67, -8.47957181457459e+102, -1.16617797875607e+119, -1.07905853919948e-228, 1.750103313732e+212, -3.31652526357685e+281, 1.00902034156286e+272, 7.08728872043799e+254, -8.76985469294314e+298, 1.27011946105565e+203, 3.37126089943855e+231, -6.17984497476272e-173, -2.94740778397177e-308, 3.29761757756571e-30, 5.72634500701631e-161, -6.49301252329173e+258, 8.94046928601747e-48, -6.61518102729663e-258, 2.71088569921012e+166, 1.84485786679949e+95, -1.05178548332954e-119, 1.79685681946827e+289, -4.06500416338505e+285, -7195424.13651578, 5.46577195512694e+244, 4.11066955688182e-296, 1.76898028140718e+264, 7.34039516902549e-81, -3.62044297217038e+222, -9.92578780300629e-232, -7.47955058765927e-100, -1.17893968025275e+173, -7.66838685824846e+219, 1.08903697713788e+170))
result <- do.call(CGGP:::rcpp_fastmatclcranddclcr, testlist)
rcpp_gkronDBS Invalid read of size 8 specialkronfunctions.cpp:94 No Address Trace found
Test code
testlist <- list(A = c(4.251154932675e-192, -1.31271043067317e-141, 1.75546462951122e-303, -7.06560586515071e-41, 3.66277558983563e+124, 1.7714829497675e-06, -155661.00142888, -5.02789722310133e-98, 1.10712580876608e-193, -3.39648495000852e-42, -3.68921571649054e-264, -2.55936882333034e+247, 6.0510813338429e+243, -7380556898799.57, 4.06012060192073e+240, 4.97832267182186e-09, 2.07551419550997e+69, -9.80580043164695e+64, -7.85908835981273e+41, 6.46606957279479e-138, 1.25354047452238e+175, 8.08713522027637e+181, 3.63056701716369e+164, 3.59243183939408e+92, -1.80045133413496e-53, -4.10082611626895e-69, 3.17004914529589e+262, 1.63396144029385e+24, -1.1612647384336e+217, 4.34834648740085e-231, 5.33952198080997e+266, 1.01325955744341e-53, -4.62442302926121e-284, -4.32767444674728e-77, 4.30776693970324e+129, 2.08448229271411e+88, 2.66613258180066e+168, 3.95166249789499e-265, 1.12667290895652e-203, -7.0312899939522e-287, -2.29417848697261e-179, 6.45763355693186e+190, 3.12206530926565e+217, -3.8381624579583e+90, 4.45264011513519e-220, -1.07361869066572e+176, 4.51675109950997e+220, -7.82440716841618e-84, 2.1877521120429e+229, 2.48371029732541e+132, -6.15300645233953e-286, -1.37816128899904e+82, -7.50016463656275e-287, 3.87726642565062e+123, 1.45636206841855e+292, 7.63794200548692e-264, 2.46988248273888e+193, 3.13065107808663e+135, -2.84193459869206e+32, -1.30198111711302e-303, -9.99979888462012e-280, 5.17930819256019e+150, -1.11380523602246e-92, -1.496458531871e+118, -7.67861562969198e+256, -5.78288970496649e+112, -2.38615984338934e+111, 3.41662113428605e+175, 3.733470505728e+156, 4.82882587994075e-301, 2.86866049537158e-190, 4.07246328205475e+236, -7.10716275329096e-292, 1.44721149549187e-135, -9.50863585323543e+277, 1.50362559516134e-164, -1.55655910006235e+111, 4.84308042824507e+203, 1.28738353280317e+163, 1.22554842197809e-244, -2.99927159212092e+32, 7.68491661631655e-47, -9.39143155974429e+101, 3.05851006330099e+137, 7.13228759626699e+249, -7.15273707718553e+210, -3.2644650944128e+134, -5.45174379577205e+278, 4.21205634058433e-54, 1.27218972693928e-211, 8.31384402545039e-17, 1.96539401158995e+207, 3.84672057620724e+41, -1.00175369502389e+111, -4.53451450885087e+150, -3.78635957411658e+135, 1.21968582079508e+255, -7.23713824871856e-306), B = c(3755895321683994, 3.47349708712255e-198, -1.31227925270529e-113, 6.41658811917943e+63, -1.63266376481315e+83, -1.09249291308613e-158, -7.62232650723524e+38, 881183.433021926, 1.86551978618852e-286, -1.91254019323833e+195, -5.43313202010958e-213, 1.99055099037656e+264, 4.77286165621786e-14, -2.7404807294668e+302, -1.07046546448144e-246, 7.37413783769901e-273, 8.17366511058138e+60, -6.18489986793129e-39, -4.96646220364316e-272, -8.97391969973793e-265, 3.11479019118402e-46, 8.85789848373603e-05, 5.35495851206676e-136, -4.51524511870242e+196, 2.47138233027635e-46, 6.88995208066217e-59, -1.09081661870922e-87, 2.25498993006744e-251, -1.31078350524037e-21, -4.25421688732479e-147, 4.521199182132e-154, -3.07557676453727e+259, 1.23697065219637e+69, 1.82739711405511e-103, -6.41398645278264e-223, -5.55696101072773e+184), dA = c(-1.8820216333864e+183, -Inf, 6.82202121890517e-246, 2.05494484394057e-169, 3.96413244711004e+253, -2.06117383415229e+66, 1.44974448042382e-169, -1.3629457187092e-232, 7.85041737900943e-277, -Inf, -1.91396394433929e+100, 5.11826091778427e+258, -1.0751638830353e+38, 3.38678100684945e+194, -3.56191491056174e+103, -1.37719291418901e+295, 6.60514935682138e-150, 9.0280519781003e-182, -6.91770001492987e+222, 2.54799159067259e-143, -1.80217551276868e+115, 3.72143001120591e+199, 9.46621251636561e+65, -8.61698055476716e+182, -1.92127548477069e+297, 3.1245659377698e-251, -2.16877294435183e+30, -1.11301615682661e+187, -1.82170088624987e+208, -4.99477913456483e+40, Inf, 1.26521728304678e-55, 9.55209174240209e+197, -1.12851147985791e+144, 4.1393671041798e+62, 1.48604423451411e-275, -1.27457125577677e+76, -8.96148333642508e+155, 3.89337775138266e-106, 1.56647281087378e-128, 2.83829469473007e+128, 3.56739439428083e+227, -2.24307529246088e+261, -1.85685299768551e-25, 2.14474825887573e-114, 1.12389963637083e+35, Inf, 1.57303525219431e-125, 4634072280304271, -34882350212.8273, 4.54050324863228e+294, 3.82033900300956e+258, -5.0199623811417e+78, 1.36736168676044e-75, 9.45118639413144e-272, -5.26221409616895e-205, 4.80451452901191e-285, -8.55217142374441e-213, 1.75621488797095e-195, -2.42602134786494e+297, 1.60706412703219e+55, NA, 0), p = c(1.62645263269433e-19, -2.33995944598722e+42, 4.44279600676647e-40, -1.9115066703875e+242, 1.85768307979985e+127, 3.88244999802537e+34, Inf, NA, -4.07198462994943e+120, 7.46159133960545e-144, 8.29337897843187e-56, -6.35963442285089e+244, 4.46236328068445e-284, 4.76951385978626e-132, 6.054040836058e-248, -2.95632182857107e+182, NA, 4.76951385978626e-132, -2.41714375227851e+41, -3.82032937327796e+100, 0))
result <- do.call(CGGP:::rcpp_gkronDBS, testlist)
rcpp_kronDBS Invalid read of size 8 specialkronfunctions.cpp:34 No Address Trace found
Test code
testlist <- list(A = c(-2.22800894745712e+260, 1.76910247083277e-125, -4.03472424521107e-285, -2.30087673407338e-244, 5.0567041348231e-286, -2.12379120226887e-305, 3.96306397241512e-147, -2.43918925130575e-266, 2.26028297965324e+188, -4.93192974260261e-33, 2.43265573525612e-28, 1.59016886185272e+52, -2.01433612805202e+183, 1.82058540457549e+22, -38565132938391, -871427253200626, -7.76423259061257e+133, -9.87109515461926e-63, 1.28513024135182e+303, 2.38264289011464e+238, 1.78366807335049e+179, -8.28050466710077e-168, -3.18910280693047e-125, 1.1085119961857e-55, 2.46882595349507e-101, 3.14469363840293e-139, -1.95690096397527e+229, 1.71143043269614e-164, -6.60819294029502e-235, 4.48767316306586e+210, 7.7761963267569e+118, -9.34907396517382e-307, 5.37815650723614e-289, -9.606625031885e-71), B = c(-8.43785362708161e+173, 3.15263448801989e+215, -9.97134522257507e-108, 8.90936689439183e-94, -3.50080605690744e-181, -8.94290789220343e-246, 3.80194545706966e+178, -1.36898229226024e+146, -2.03819533676301e-253, -1.08852519397418e-152, 1.13832617847487e-88, -3.78249937047415e-99, 2.04162060488903e-201, 2.89033832200246e-05, 1.74361963736856e+174, -1.06953788943579e+240, 3.51116019513252e+127, 1.44957279723351e+151, 8.23224525133135e-39, 7.93439406079088e-243, NA, 3.00635497314107e-120, -3.49353462530644e-144, -7.45941520947312e+233, -Inf, -8.68946809829561e+279, -1.8389480161641e-296, 4.86295433630969e+43, -1.2931272663637e-30, -5.25094067985861e+242, -1.65214456920588e+66, 2.38409137868927e+166, -2.78689766712663e+171, 5.61174082213661e+140, -4.39898151584575e-131, 8.33378199460623e-158, 2.50192220841293e-235, -4.33678638599898e+71, 9.18208190766469e+223, 2.27303334033692e+30, 3.5027284564369e-38, 499317.578775097, 4.64427428492616e-06, 7.83861923548499e-17, 2.93646562548829e+99, -4.39945638834113e-246, 36872445616661.5, 3.19380869785654e+241, -8.75423147272094e+51, -1.1113348881457e+154, -4.72255688777017e-201, 1.90106448129178e+209, 7.4668908122205e-17, 7.34864264706449e-59, -2.51379206760554e-161, NA, 2.74517737461848e-34, 1.07556030768214e+264, 9.51609430894317e-81, -4.64438031667931e+255, -1.88469825182987e+261, -5.5520636037458e+61, 1.59731349786833e+102, 2.59118449542471e+113, 1.51270730028162e-288, 3.58424342717101e+39, 2.54513053737007e-97, -1.01200402588996e+190, 6.20541452051472e-255, -7.96427068337025e+68, 3.13767829975537e-54, 2.46489816380525e-281, 2.15232893591688e-219, -2.64027039644073e-120, -4.56344477468136e-30, 9.15845416041427e-259, -4.01904273559423e-178, 1.65050588948416e-115, 6.07994150178101e-54, 4.35160971549828e+291, 1.09488317532307e-246, 302378426879.106, 5.76237079941357e+273, -1.82369008285921e-117, -1.38737194021985e-190, -1.89901432293236e-156, 9.77177314243068e-307, 7.06793958081851e-178, 1.66906305983298e+181, -3.43531637441424e-225, -0.0737987573952678, -1.53345445807505e+241, -1331283511689442560, 0), p = c(1.68577563615408e+103, -3.23770552103036e+49, -3.343630690096e+222, -3.22361178257182e+128, 2.10638797952516e+188, 2.77526168308919e+97, -3.07167787366194e+172, -4.96108985609144e+266, 4.24140196454866e+280, -6.31766762010179e+36, 3.4601401074276e-286, -1.19546469215852e+90, -4.54296101295984e+167, 0.0101120079965081, -1.49358440007039e-207, 1.01795028355218e-106, 7.91694999484467e-140, -7.41240379758659e+118, -7.57694877689096e+108, -6.25278467999145e+128, 8.17312642660328e-266, -2.59105415748616e-106, -3.44304842507309e+206, 1.11391748580703e-272, -1.46141785749577e+123, -8.71514712916693e-216, 8.2743532761412e-302, 1.966964538267e-107, -4.01014741824162e-58, -2.09240109644592e+229, -1.1368220042591e-180, -3.03836362835884e+158, -1.04416948545799e-117, 1.87885530176105e-221, 1.86460980235962e-138, -1.66902564666598e-291, -1.84726541084624e+26, 1.15490667346797e+230, -1.66972686952608e+232, -4.022128056923e-17, 3.83245692010887e-134, -6.91744367076586e+74, 8.44982060046381e+126, -2.75247682931719e+165, 5.35672273912986e+265))
result <- do.call(CGGP:::rcpp_kronDBS, testlist)

Analyzed functions summary

function name tested inputs inputs with issues
rcpp_fastmatclcr 3 3
rcpp_fastmatclcranddclcr 3 3
rcpp_gkronDBS 3 3
rcpp_kronDBS 3 3

Report details

  • Report generated by: ca23a0c
  • Inputs generator seed: 1661798682

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant