repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
constraints: escape SQL statements
2018-12-04
D
a
n
C
arpenter
co
n
straints: escape SQL state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
statemen
t
_cou
n
t: record how many statements
t
h
ere
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan
Carpen
t
er
extra/db: silence
a
n inv
a
lid SQL warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpente
r
b
u
f_s
i
z
e
:
f
ix
handlin
g
of
1 element arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
d
b: sql debug
m
ode wa
s
exe
c
u
t
in
g
the SQL
t
wice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
enter
tes
t
_b
i
t: add te
s
t_a
n
d_set_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
debug: int
r
oduce __sma
t
ch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
ar
p
enter
db: don'
t
save struct members for integ
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
a
rpenter
implied: re
m
ove
an unnecessary NUL
L
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pe
n
ter
nul_terminator:
e
xport the is_nul_te
r
minat
e
d() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carp
e
nter
kpatch:
use gi
t
in
s
tead o
f
trying to create
diffs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pent
e
r
struct_assignment: ha
n
dle
unions as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpente
r
missin
g
_
b
reak:
turn it off by def
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
free_stri
c
t: fix some false
po
s
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
Re
v
ert "L
o
ok across the en
t
ir
e
compile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
trinity: Proof of concept
t
o aut
o
-generate tri
n
ity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
C
a
rpen
t
er
user_dat
a
: rename to
s
match_kernel_
u
ser
_
data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Carpenter
a
ssigned_expr:
rename to sma
t
ch_assig
n
ed_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
r
p
e
n
ter
smatch: make the -
-
enable/dis
a
ble o
p
tions take s
t
rings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
an Carpe
n
ter
smatc
h
_
nul_terminated: fix compi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpenter
u
ntracked_param: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Car
p
e
nter
un
i
n
i
tia
l
ized: fi
x
a
c
rashing bug parsing "
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
D
a
n Carpen
t
er
nul_terminator:
t
rack wh
e
n strin
g
s have a
N
UL term
i
n
a
to
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user_data2
:
fix a type i
s
sue in call
e
r_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpente
r
user_data: integers can't be dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpent
e
r
compari
s
o
n
:
m
a
ke a
bu
f
f
er la
r
g
e
r
t
o make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
dat
a
_source: track assignme
n
ts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pente
r
ex
t
r
a
:
p
revent
a divide by ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
mod
i
ficatio
n
_hooks: use the DB
f
or
f
r
ob(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Ca
r
penter
sval: in
t
roduce sval_
b
inop_
o
ve
r
flows_no_
s
ign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
D
a
n Ca
r
penter
ex
t
ra: undo bogus
unop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n
C
a
rpen
t
er
array
_
values
:
f
i
x up and s
u
pport two dimensional local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpe
n
te
r
p
aram_set: don't record a par
a
m_set
fo
r
p
+
+ change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Ca
r
pente
r
f
u
nction_hoo
k
s: re
-
hack around moving the fake
p
ar
a
m
eter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_values: s
t
or
e
array values of s
t
ruct m
e
mber arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
D
an Carpenter
functio
n
_hooks: hack around fallou
t
fr
o
m moving t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
comparis
o
n:
d
on't return invalid param
s
in
get_mask_comparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
db: don't
p
r
i
nt "fail
e
d to open" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
pent
e
r
p
a
ram_set:
remo
v
e some de
a
d co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpent
e
r
mta
g
:
temporarily disable gen
e
rating mtag for k
m
alloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
expres
s
ions:
don't crash
on inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
extra: f
i
x a type bug in inserting in
f
o
i
nt
o
caller_i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
k
er
n
el:
d
on't insist that the paramete
r
is name
d
"error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
ex
t
r
a
: expo
r
t is_imp
o
ss
i
ble_vari
a
b
le(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
flow
:
f
i
x a
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
fu
n
c
tion_hooks: do the fake
parameter as
s
ignment afte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
rpe
n
t
e
r
p
a
ram_limit: fix generify
_
m
t
ag
_
range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
a
rpenter
e
x
tr
a
: clear_pointed_at_sta
t
e()
is a nomod state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
arp
e
nter
par
a
m_set: handle w
h
en the stack varia
b
le was modified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
parse_call_math: d
o
n't say
the retu
r
n is
equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
scope: fix is
_
outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpe
n
ter
sval:
h
andle cas
t
ing
t
o
bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
a
r
r
ay_valu
e
s: d
o
n't crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
r
p
e
n
t
e
r
no_spe
c
: record when funct
i
ons ha
v
e a barr
i
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpent
e
r
ext
r
a/
t
ype
:
fix t
y
pe o
f
re
t
u
rn PARAM_ADD/SE
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
a
rpenter
param_l
i
m
i
t: ma
k
e mta
g
l
i
mits mor
e
gener
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
param_set: don't s
a
ve if the parent is s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpe
n
ter
atomi
c
_inc_dec: ad
d
a couple
more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
ar
p
ente
r
s
ign
e
d_integer_overflow:
ign
o
re this for the ker
n
el
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math:
h
and
l
e condit
i
on
a
l
s like
:
"a = b
?
: c
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpe
n
t
er
nos
p
e
c
: don't f
i
l
l the DB
u
p with
g
a
r
bage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpent
e
r
s
i
zeof: fix NULL d
e
refere
n
c
e
par
s
ing inv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
s
trings
:
t
run
c
ati
n
g
large s
t
ri
n
gs
causes SQL problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Car
p
e
n
ter
type_val: don't
d
ouble record globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
target: man ssize_t be
unsigned long i
n
s
tead of unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpent
e
r
extra:
d
on't
r
eset imposs
i
ble states af
t
er a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carp
e
nter
array: st
o
re possible
array values for simple arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpent
e
r
m
t
ag: HACK: return
f
alse if the mtag
i
s zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: fake a
n
as
s
ign state
m
en
t
for
globa
l
initializ
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
enter
flow: tweak h
o
w function
t
imeouts happe
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpen
t
er
db: fix
a
type
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Carpenter
smatch_flow: don
'
t
p
a
rse inline fun
c
tions after w
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
arpe
n
t
e
r
mtag: add string info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpen
t
er
flow: handle __bu
i
l
t
in_mul_overfl
o
w
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Ca
r
p
enter
kern
e
l_printf: silence "
s
pecifier is
cast from point
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
n
ospec:
turn off specul
a
t
i
on a
t
rmb(), smb_r
m
b() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n C
a
rpenter
check_si
g
ned: ignore
f
ake
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag
_
da
t
a: clear cache at start of
f
u
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan C
a
rpenter
nos
p
ec: fix uninitial
i
z
e
d
pointer crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n C
a
rpenter
helper: fake c
a
lls
a
re not equivalent
t
o anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an Carpe
n
ter
comparison: handle comparisons:
i
f
(
(
fo
o
= frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparis
o
n: improve "foo =
m
in(
.
.
.
);" assignme
n
t handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hack a
r
ound
s
ome type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
mtag_data: remove duplicat
e
mtag_data
a
nd
r
a
n
d
om small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
container_of:
fix a bug in get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
check_check_deref: silence some false p
o
siti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nos
p
ec:
stor
e
function
s
tha
t
return no
s
p
ec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
no
s
pec: handl
e
CALL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
D
an Ca
r
penter
db: introduce
t
he
--db-f
i
le=/p
a
t
h/to/smat
c
h_db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpent
e
r
user_data2: u
s
e function retur
n
s in points_to_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpe
n
t
er
files: check for schema files relative to the
b
i
n_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arpenter
smatc
h
.
c: expo
r
t bin_dir to e
v
ery
o
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Car
p
e
nter
c
o
r
e
:
print the ful
l
path
when --
i
nfo is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
user_
d
a
t
a: i
m
prove how retu
r
ned dat
a
is handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan C
a
rpenter
capp
e
d: set r
e
tur
n
ed
str
u
c
t mem
b
ers to
c
apped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan C
a
rpent
e
r
user_da
t
a: fix validation
t
est for return
e
d struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpe
n
ter
imp
l
ied: don't print so m
a
ny "
t
urnin
g
of
f
i
m
p
l
ications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: delete some bogus c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
ente
r
mtag_data:
up
d
ate m
t
a
g_data to use get_mtag_
a
ddr_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
t
e
r
mtag: fix expr_
t
o_mt
a
g_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next